-
Notifications
You must be signed in to change notification settings - Fork 233
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
High DPI support (Linux) #251
Comments
Same issue here. XFCE with DPI set to 280, all other applications look fine. After looking online, the issue seems to be related more generally to Swing, and this is confirmed by other Swing apps that I run and have the same issue, but I cannot tell much more because I am not a Java developer. OS X seems to have much better support for Java/Swing on HiDPI. On MacBook Retina Protege looks good. |
Closing because this is a Java/Swing issue and not a Protege issue. |
@matthewhorridge This has been fixed in JDK 9 https://iamnobuna.ga/post/java-hidpi-woes-finally-over |
Here are a few potential leads for overcoming this problem (needs to be tested and validated): If anyone can confirm which, if any, of this solution has worked for them for Protégé that would be really great. Note: The Protégé Look and Feel (L&F) can be set using the |
Anyone has managed to fix this? I have tried JDK 9, the custom manifest and a few other solutions without any luck |
Problem still here |
Can this be re-opened? |
Sure, reopening this. |
Any workaround? |
@lsarni this is really helpful, thanks. What does the class hierarchy look like? Is it still tiny? |
Still tiny @matthewhorridge |
@lsarni good to know. Thank you very much for your help. Much appreciated. |
I have solved the problem by decrease the resolution of my windows 10 (originally it is 38402160, after changed, it is 1600900) |
Adding -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel to run.sh (or CMDLINE env var) solved this for me on Linux |
@eyusupov Which Protégé version and JRE version did you use? |
@atextor just tried it again.
Still works.
|
This does not seem to work on Kubuntu 20.10 |
Two not-so-perfect solutions:
|
Workaround for Microsoft WindowsFor Windows 11 Enterprise 21H2 I found this answer useful: https://superuser.com/a/1207925. From the Protege directory, the jre/bin/java.exe is the file to change the Compatibility settings on. I used the "System (Enhanced)" setting and that seemed to reduce some of the fuzziness of the rendering seen using the "System" setting. The root cause of this issue seems to be the limitations of the JRE version packaged with Protege Desktop for Windows. |
I'm using Wayland, and tried the above methods, but (almost) none made a difference for HiDPI. The only way that made a difference is to use In particular, (As environmental information: my some other Java application would scale correctly with |
On Linux using Protege 5.6.1, (which comes with its own Java 11 JRE), I have changed the first 1 lines in
to this
and the GUI becomes usable again; This hack does not fix the GUI scaling problems for 5.5.0 which comes with its own Java 8 (and older GUI libraries?). Protege 5.5.0 is still displayed with tiny fonts. |
version 5.6.3 had the same issue in Linux. append=-Dsun.java2d.uiScale=2 And setting window->Look & feel -> Protégé Cleaner than modifying the run script and it should also survive tool upgrades. |
I'm not sure if this counts as a bug or a feature request but Protege is almost unusable on a high resolution screen. If scaling is set in GTK and the GTK "theme" is used then some elements scale but most still do not.
I've attached screenshots of Protege default and GTK. My resolution is 3200x1800 on a 13" screen. WM is Gnome 3.16 with High DPI scaling set to 2.
The text was updated successfully, but these errors were encountered: