5 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	589909ba44	Feature: improve inspectorGui: add search, placeholder, see #2353	2025-03-13 23:42:52 +01:00
Pieter Vander Vennet	40e894df8b	chore: automated housekeeping...	2024-10-19 14:44:55 +02:00
Pieter Vander Vennet	ea2a49d6cd	UI: place scalebar under search field	2024-09-18 16:57:57 +02:00
Pieter Vander Vennet	9b8c300e77	Search: use 'searchbar' where applicable, refactoring	2024-09-03 01:14:08 +02:00
Pieter Vander Vennet	93f03ddbaf	Improve search UI	2024-08-30 02:18:29 +02:00