3 Commits

Author	SHA1	Message	Date
André Althaus	8ed244df3f	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é	4fb4288905	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	033f520cc5	Gui: expose various overlay UI options to preference pages	2023-10-11 09:58:53 +02:00