4f50fd03a4
more font_size to a new config file for session data
...
We need config and session data.
config is what the user changes. Only read by the app.
session is what the app remembers. Read and written by the app.
2021-10-29 09:53:53 +02:00
99d9be795b
set window title to file name
2021-10-29 09:32:08 +02:00
bc8f9b006d
store font size in settings file
2021-10-29 09:21:46 +02:00
74e89ff78b
add icon to about dialog
2021-10-28 19:58:54 +02:00
999008e46e
support files over 2 GB
2021-10-28 18:37:10 +02:00
ee338c45ad
add application icon
2021-10-28 17:48:05 +02:00
7f96adebdf
faster destruction
...
It takes a while to wait until the observer thread stopped.
2021-10-28 15:13:54 +02:00
8bab40e2ec
about dialog
2021-10-28 12:22:06 +02:00
0326013cbc
use transparent color for selection highlight
...
other highlighting is still visible
2021-10-28 10:27:39 +02:00
cdd382858a
highlight matches
2021-10-28 10:22:15 +02:00
dbfe0bebf8
move highlights to model
...
makes it easier to manage highlights
2021-10-28 09:52:00 +02:00
a0e6c24098
reset search hits when entering empty or invalid query
2021-10-28 09:48:38 +02:00
02f1ce3af9
move font size update to settings class
2021-10-28 09:44:44 +02:00
f42ff06ce8
use wheel + ctrl to change font size
2021-10-28 09:40:40 +02:00
ce840819b2
try to fix ui freeze when filtering huge files
2021-10-28 08:45:24 +02:00
e426b816ef
add cancel button
2021-10-27 19:16:57 +02:00
851805118d
support ctrl + a
2021-10-27 18:48:42 +02:00
b61f00ca02
explain the sleep
2021-10-27 18:45:15 +02:00
3319ae4876
watch for file changes
2021-10-27 18:42:48 +02:00
4a01c629ce
remove tmp file when closing app with signal sigterm or sigint
2021-10-27 15:07:23 +02:00
6a8f01d064
remove tmp file when closing the window
2021-10-27 09:27:14 +02:00
8cfa518d93
remove tmp file when closing with menu action
2021-10-27 09:11:25 +02:00
5a4299ef84
remove tmp file when closing tab
2021-10-27 09:00:44 +02:00
1d8cd3dce5
support ignore case and regex filters
2021-10-27 08:44:20 +02:00
28d3775b94
filtering without auto refresh
2021-10-27 08:05:18 +02:00
f9434b4c1d
prepare filtering
2021-10-26 18:51:32 +02:00
1a67925873
highlight error messages instead of info
2021-10-26 11:18:08 +02:00
b592bada90
fix highlight
2021-10-26 11:09:45 +02:00
3b330b2fca
do not open same file twice
2021-10-26 11:05:07 +02:00
8fc682444d
add file open dialog
2021-10-26 09:38:55 +02:00
aea1e49fe8
prepare i18n
2021-10-26 09:15:49 +02:00
16abe95dac
ignore pycache
2021-10-25 20:25:12 +02:00
90f137dfe0
close tabs
2021-10-25 20:21:39 +02:00
95d43e08f1
change font size
2021-10-25 19:31:28 +02:00
7002e91a35
compute between bytes and chars to get correct clipboard copy
2021-10-25 17:52:14 +02:00
b8eb62a3bf
separate highlight selection from other selections
...
will make it easier to manage other selections externally
2021-10-25 17:26:00 +02:00
76d4dccf1d
copy to clipboard for ascii text
...
Non ascii does not work yet. Code does not handle multi-byte characters.
2021-10-25 17:19:44 +02:00
9334fffb6f
scroll horizontally when dragging a selection
2021-10-25 16:49:16 +02:00
76fd4e0dbd
use blue for selection
...
reserve yellow for search hits
2021-10-25 16:48:58 +02:00
088023e14b
scroll when selection reaches top/bottom
2021-10-25 16:33:04 +02:00
1fce6c02ff
give focus on wheel scrolling
2021-10-25 16:23:03 +02:00
603b748180
more tests for scrolling
2021-10-25 16:20:30 +02:00
3662b47651
vertical scroll by keys
2021-10-25 13:43:17 +02:00
424f4bb11d
fix vertical scroll
...
used the wrong font height
2021-10-25 10:00:26 +02:00
905fe355e5
scroll with scrollbars
2021-10-25 09:32:18 +02:00
7f376fe8a8
add requirements.txt
2021-10-25 08:41:27 +02:00
b99fb35727
scroll by wheel
2021-10-24 20:02:11 +02:00
6e831c66be
add regex highlight
2021-10-24 19:47:30 +02:00
eab422a6ce
improve highlighting
2021-10-24 18:49:47 +02:00
80741a7249
fix computation of text width
2021-10-24 16:35:27 +02:00
