User Details
- User Since
- Jul 14 2019, 2:09 PM (186 w, 4 d)
Jun 7 2020
Jan 11 2020
Jul 19 2019
Jul 16 2019
I did a little digging around the code base and found that Non-Client DPI Scaling had been implemented but turned off due to the bug report T51959. (Commit rB0584c5ba8e73).
I should have highlighted the case of moving from Low DPI to High DPI in my initial report, since that would have more clearly demonstrated the hampered usability. The case when moving from High-DPI to Low-DPI still results in a bigger than necessary Titlebar which eats up valuable vertical space.
Jul 15 2019
Jul 14 2019
@Brecht Van Lommel (brecht) Thank you! I had indeed set the spacebar to search. Reverting it to Play fixed the issue.
@zdy (NGENNGT) I Looked through the different option in Edit>Preferences but couldn't find any option to enable/disable Keyboard Shortcuts in Tooltips. I may have missed something and would like to know if such an option exists. The closest thing I could find is the option for Tooltips (in Interface), which had been enabled by default.
