rednoah wrote:Would it be possible to have a scale factor which scales the entire UI (and mouse events) by some fixed scale factor like 2x or 4x?
Not in the closest update, but now I am pretty sure it is possible with the new way all components are painted. It will require some adjustments and improvements, but it is possible.
Also it doesn't really matter that much whether it is 2x or 1.25x as current Graphics2D API allows double coordinates and properly paints everything with AA enabled. They should look descent in the situations they are supposed to be used in - on HiDPI screens.
rednoah wrote:So instead of using a huge font size (like Windows LaF does) to "scale" things (and break every layout) it seems that just scaling everything on the Graphics2D Swing drawing level / AWT event level might be an easy solution (though I guess the necessary hooks don't exist, making this not easy at all).
Yes, scaling just font size doesn't really make much sense in case of UI. The whole UI should properly scale according to the scaling factor.
I will be looking into UI scaling for sure after making the base system stable and polished.
For now I have added a separate issue on GitHub tracker for this enhancement: #352
And thanks for the link, it seems that some related enhancements might actually be released in JDK at some point, but I'm not yet sure how those will work in the end until I get my hands on them. In case those changes will already be available by the time I get to the scaling enhancement I will certainly try them first and see if it can replace manual UI scaling.