f1b0bf4981
add context menu
2021-10-31 19:01:26 +01:00
9fb8a45ef7
save highlighters
...
remove user config (not needed)
2021-10-31 18:05:10 +01:00
572d95a151
fix indentation of copy to clipboard
2021-10-31 13:56:18 +01:00
bb99fb2c58
partially fix scrolling in files > 2 GB
2021-10-31 13:53:17 +01:00
79f9219e9a
save selection to file if above threshold
2021-10-31 12:30:26 +01:00
aee0ff9968
add dialog to manage highlighters
...
- no support for "no color"
- settings not saved to disk
2021-10-30 16:25:34 +02:00
86b70f43ac
ask user before creating a clipboard larger than 5 MB
2021-10-29 16:52:13 +02:00
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
bc8f9b006d
store font size in settings file
2021-10-29 09:21:46 +02:00
999008e46e
support files over 2 GB
2021-10-28 18:37:10 +02:00
7f96adebdf
faster destruction
...
It takes a while to wait until the observer thread stopped.
2021-10-28 15:13:54 +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
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
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
5a4299ef84
remove tmp file when closing tab
2021-10-27 09:00:44 +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
3b330b2fca
do not open same file twice
2021-10-26 11:05:07 +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
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
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
3390ccf261
selection by mouse
2021-10-24 15:11:03 +02:00
58e3983e49
initial commit
2021-10-24 12:47:46 +02:00
