Markus Heiser 15a3dbf7a0 [fix] preferences - layout of the "special queries" tab ...

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>

2023-09-09 00:39:51 +02:00

..

generated

[update] make pygments.less

2023-08-11 10:54:50 +02:00

js

[mod] Ignore autocomplete_min on queries that include '!' (!bang)

2023-04-15 18:54:47 +02:00

less

[fix] preferences - layout of the "special queries" tab

2023-09-09 00:39:51 +02:00

svg

Theme: all top right icons have labels including "Preferences"

2022-07-02 10:04:35 +02:00