Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
wish_list [2019/01/04 13:08] – [Thunar] zidane | wish_list [2019/08/04 15:27] – johnywhy | ||
---|---|---|---|
Line 10: | Line 10: | ||
{{wiki: | {{wiki: | ||
===== Project wide ===== | ===== Project wide ===== | ||
+ | |||
+ | * Wish there was a checkbox someplace in settings manager to globally turn off tooltips. Command: | ||
+ | echo " | ||
+ | https:// | ||
+ | |||
+ | * The Display dialog appears upon pressing Ctrl-F7 to adjust the settings of an additional display. It would be nice to have the option to add the display by " | ||
* Implement support for high-density (DPI) displays through e.g. a meta-theme that sets large fonts, panel size, icons. All of these are already doable separately, but it would be nice to be able to change all these related settings in one place. | * Implement support for high-density (DPI) displays through e.g. a meta-theme that sets large fonts, panel size, icons. All of these are already doable separately, but it would be nice to be able to change all these related settings in one place. |