2 Commits

Author	SHA1	Message	Date
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