|
|
69ab755f29
|
chore: automated housekeeping...
|
2025-08-13 23:06:38 +02:00 |
|
|
|
877bdfae95
|
Android: add inset spacers for android
|
2025-07-18 14:15:37 +02:00 |
|
|
|
589909ba44
|
Feature: improve inspectorGui: add search, placeholder, see #2353
|
2025-03-13 23:42:52 +01:00 |
|
|
|
40e894df8b
|
chore: automated housekeeping...
|
2024-10-19 14:44:55 +02:00 |
|
|
|
ea2a49d6cd
|
UI: place scalebar under search field
|
2024-09-18 16:57:57 +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 |
|
