|
|
2ce9e7ca3c
|
Search: fix loading previous searches, add 'clear history' buttons
|
2024-09-05 02:53:25 +02:00 |
|
|
|
d90b6d82d0
|
Search: refactoring searching for themes, refactor allThemesGui, incidentally fix #1679
|
2024-09-05 02:25:03 +02:00 |
|
|
|
93f03ddbaf
|
Improve search UI
|
2024-08-30 02:18:29 +02:00 |
|
|
|
6468e33d66
|
Search: move limit responsability to the constructor, merge similar results
|
2024-08-27 23:56:54 +02:00 |
|
|
|
617b4854fa
|
WIP
|
2024-08-26 13:09:46 +02:00 |
|
|
|
1c46a65c84
|
More search functionality
|
2024-08-22 22:50:37 +02:00 |
|
|
|
6530e6c3b0
|
Allow to switch to previously discovered hidden themes
|
2024-08-22 03:16:43 +02:00 |
|
|
|
329865a15e
|
Add themes to search functionality, including quickswitch between recent themes
|
2024-08-22 02:54:46 +02:00 |
|
