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