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