Jean-Francois Dockes
|
086ccef056
|
Moved the dark mode choice out of the menus and into the GUI preferences. Use separate css fragment for the result list dark mode header, does not clobber the user one any more.
|
2021-03-16 14:55:32 +01:00 |
|
Jean-Francois Dockes
|
1d6b5c2dbc
|
minor menu reshuffling
|
2020-12-27 09:51:41 +01:00 |
|
Jean-Francois Dockes
|
8fd9d02900
|
change version to 1.28.x for GUI changes
|
2020-11-23 16:10:15 +01:00 |
|
Jean-Francois Dockes
|
d35abb9abc
|
Reorganised menus
|
2020-11-23 09:26:38 +01:00 |
|
Jean-Francois Dockes
|
773ba809ad
|
Add preference to replace the main menu bar with a menu button
|
2020-11-21 17:08:28 +01:00 |
|