[New Feature] Support for High Density Screen

Hello.

On my high resolution (3200x1800) laptop running Linux, all UI elements are tiny. Even though the diagram itself can be zoomed in, there is no way to change the menu or button sizes. Is it realistic to add an option "double UI size"?

I understand that the Swing framework does not have built-in support for HiDPI.

Thank you for the great effort in the project!

Or maybe I could fork the project and try to implement it?

[samtherussell]

Yeah, this is something that I've noticed. If you can have a crack at it, that'd be great. Just submit any changes and I can pull them in. I'm not really sure how to sort it though, as you said it doesn't have much flexibility.
Let me know if you need anything. :-)

Yeah, the brute-force way would be to hard-code font and images sizes. ;-)

[samtherussell]

yeah, I feel like you might have to change every menu element separately. Damn super high res screens!!

…

On 6 March 2017 at 01:42, Lingkai Dong ***@***.***> wrote: Yeah, the brute-force way would be to hard-code font and images sizes. ;-) — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#26 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AFNORC4-Te48BLb6N8MsBaoVptwnhSCNks5ri2SHgaJpZM4MTEls> .