Commit Graph

6 Commits

Author SHA1 Message Date
Kacper Donat
05aaf0ed48 Preferences: Reorganize UI and Theme pages in Display group
This changes current "Display/UI" pages to "Display/Advenced" as most of
settings there were pretty technical. These settings are not removed as
it is hard to decide which one should be removed and which one should
stay and we are too close to UI freeze.

Settings that should be obviously kept were moved to new "Display/UI"
section which now includes also options from previous "Display/Theme".

Fixes: #14412
2024-07-01 10:41:30 -05:00
Kuzemko Alexsandr
aca353d7c5 Displaying internal names in the tree view (#14237)
* Displaying internal names in the tree view

* Change "Hide extra column" to "Hide Description"

---------

Co-authored-by: Kuzma30 <kuzemkoa@gmail.com>
2024-06-10 11:31:04 -05:00
ppphp
da7ee06d67 fix: c++20 deprecate [=] 2024-03-31 10:47:32 +02:00
André Althaus
5aacd52ed8 Add a new preference for the visibility icons
Add a preference to Display->UI that allows the user to choose if
the visibility icons are shown in the tree view.
2024-02-21 19:28:28 +01:00
André
571fa00292 Resolve #12248: Remove redundant and non-functional selection checkbox preference (#12263)
Remove the selection checkbox preference from Display->UI.
The same preference exists under General->Selection.

When changing the preference and then applying the settings, it reverts
back to the value under General->Selection and thus is not usable.
2024-02-12 14:34:28 -03:00
Zheng, Lei
21e6e7a79b Gui: expose various overlay UI options to preference pages 2023-10-11 09:58:53 +02:00