Improved Settings UI, consistent visibility and usability of SymbolBrowser, some refactoring#194

Merged

pixtur merged 3 commits intotooll3:devfrom domportera:improved-settings-ui-squashed

Oct 12, 2022

+720-178

Commits on Oct 8, 2022

Squashed commit of the following:
domportera
committed

Commits on Oct 9, 2022