|
|
5b7ebb2f9b
|
fix highlighting for selections
|
2021-12-03 09:03:34 +01:00 |
|
|
|
a7b09a99a5
|
correctly highlight lines with tabs
|
2021-11-05 10:22:45 +01:00 |
|
|
|
0326013cbc
|
use transparent color for selection highlight
other highlighting is still visible
|
2021-10-28 10:27:39 +02:00 |
|
|
|
f9434b4c1d
|
prepare filtering
|
2021-10-26 18:51:32 +02:00 |
|
|
|
b592bada90
|
fix highlight
|
2021-10-26 11:09:45 +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 |
|
|
|
76fd4e0dbd
|
use blue for selection
reserve yellow for search hits
|
2021-10-25 16:48:58 +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 |
|
