|
|
ab74d11827
|
add fallback icons
|
2023-01-30 18:58:01 +01:00 |
|
|
|
ee181fb8fc
|
add icons for list modifications
|
2023-01-26 20:00:50 +01:00 |
|
|
|
07a6ec69fa
|
make it possible to disable highlighters
|
2023-01-26 19:31:33 +01:00 |
|
|
|
04377ca956
|
remove old highlightingdialog
|
2023-01-22 19:05:58 +01:00 |
|
|
|
e8fe759f70
|
add new highlight dialog
|
2023-01-22 18:53:38 +01:00 |
|
