|
|
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 |
|
|
|
3390ccf261
|
selection by mouse
|
2021-10-24 15:11:03 +02:00 |
|
|
|
58e3983e49
|
initial commit
|
2021-10-24 12:47:46 +02:00 |
|
