|
|
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 |
|
