|
|
c591770eab
|
Add layers to search menu
|
2024-09-11 01:46:55 +02:00 |
|
|
|
4085bbc1ac
|
Rework preferences handling, improve search
|
2024-09-10 02:19:55 +02:00 |
|
|
|
ee2b3ce329
|
Search results: add menu, update searchers
|
2024-09-06 23:01:00 +02:00 |
|
|
|
d90b6d82d0
|
Search: refactoring searching for themes, refactor allThemesGui, incidentally fix #1679
|
2024-09-05 02:25:03 +02:00 |
|
|
|
9b8c300e77
|
Search: use 'searchbar' where applicable, refactoring
|
2024-09-03 01:14:08 +02:00 |
|
|
|
93f03ddbaf
|
Improve search UI
|
2024-08-30 02:18:29 +02:00 |
|
