protege
protege copied to clipboard
Class hierarchy font too small on high resolutions
The font size for the class/property hierarchy is too small to read on new Windows laptops (resolution 3840x2160) . Note that the rest of the font sizes look fine. Related issues seem to have been reported (#448 #115) in the past, but this issue seems different since only the class/property hierarchy views are affected. Using the latest Protege version from the download page.
See screenshot below:
Thanks,
William
Thanks for the screen shot @darth-willy . This is very useful! There have been similar reports on the mailing list that may be related: http://protege-project.136.n4.nabble.com/display-too-small-tp4670231.html
We will look into this.
Has anyone tried to run Protege with Java 9 on Windows with high a high-DPI display? Would that solve the problem?
Disclaimer: we're using Protege in a tutorial on ontology engineering and I personally didn't encounter the error. But I think the student indeed had Java 9 installed.
Looks like a problem with OWLCellRenderer. Thank's for the report - very useful.
Hello,
I have the same issue with Protege 5.2., high resolution screen, Windows 10, and Java 8.
I read a lot of information on the Web to solve this problem and it seems the issue could be solved using Java 9 (?) so I would like to test it :
I installed the platform independent version of Protege 5.2
I installed Java 9.
At this step I think I need to adapt the run.bat (in particular to include the path of Java 9) and here I need your help. This is my run.bat content :
setlocal cd /d %~dp0 C:\Programmes\Java\jre-9.0.4\bin\java -Xmx500M -Xms200M -Xss16M -XX:CompileCommand=exclude,javax/swing/text/GlyphView,getBreakSpot -DentityExpansionLimit=100000000 -Dlogback.configurationFile=conf/logback-win.xml -Dfile.encoding=utf-8 -Dorg.protege.plugin.dir=plugins -classpath bundles/guava.jar;bundles/logback-classic.jar;bundles/logback-core.jar;bundles/slf4j-api.jar;bin/org.apache.felix.main.jar;bin/maven-artifact.jar;bin/protege-launcher.jar org.protege.osgi.framework.Launcher %1
What should be the correct run.bat?
This looks good to me, @cedricemvista Does it work? What do you see in the console under the "Platform" section. Here is a sample, from my machine, of what you should look for:
------------------------------------ Protege -----------------------------------
Protege Desktop
Version 5.2.0, Build
----------------------------------- Platform -----------------------------------
Java: JVM 1.8.0_40-b26 Memory: 1864M
Language: en, Country: US
Framework: Apache Software Foundation (1.7)
OS: linux (4.13.0-36-generic)
Processor: x86-64
BTW, are you starting Protege with the batch file?
Thank you for your answer. When I click the batch file (run.bat) a shell appears and disappears very quickly so I can't see what is written (I tried to make a screenshot unsuccessfully).
Try to run the batch file from a command line console.
Thanks, this is what I see running the batch file :
a problem appears with my path ?
Why are you running Protege in MinGW? The idea of the platform independent version is that you can run on any OS, natively, the only thing you need is a JVM. Have you tried to run the run.bat
in a Windows command line terminal?
Thanks again for your time. I tried to run the run.bat in a Windows command line terminal and I obtained exactly the same result (as the last screenshot). As you know my issue is that font size is too small so I am trying several solutions to solve this problem. A this step I am trying even the less logical... I use to play with Protégé but it is unusable with my configuration so please, if you have any idea let me know. I would be very grateful.
Can you confirm that if I run Protégé 5.2 with Java 9 and high resolution screen with Windows 10 "normal" font will appear ? many many thanks.
Unfortunately I don't have a high-DPI display to try this out. I can try to look for one around the department. Any user had the chance to try this out?
I fixed the issue thanks to my colleague Melissa:
Find java.exe you installed.
- Right click -> Properties
- Go to Compatibility tab
- Check Override high DPI scaling behavior.
- Choose System for "Scaling performed by"
I don't think Protege will work with Java 9 out of the box. See #732. Does it work on windows?
yes it works
OK. Good to know.
@darth-willy did you solve this problem? If not, I'm just wondering if 5.5.0-beta-8 has any effect on it.
Unsure .. some of my students had the issue about a year ago.
From: Matthew Horridge [email protected] Sent: January-14-19 9:37 PM To: protegeproject/protege [email protected] Cc: William Van Woensel [email protected]; Mention [email protected] Subject: Re: [protegeproject/protege] Class hierarchy font too small on high resolutions (#752)
@darth-willy https://github.com/darth-willy did you solve this problem? If not, I'm just wondering if 5.5.0-beta-8 has any effect on it.
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/protegeproject/protege/issues/752#issuecomment-454235101 , or mute the thread https://github.com/notifications/unsubscribe-auth/ALT1sFl_s2lXSMs8FzSTqnZijryOTEfwks5vDTDDgaJpZM4R4MJz .
@darth-willy thanks a lot for the update. Waiting for the experience of others in this case.
I have solved the problem by decrease the resolution of my windows 10 (originally it is 38402160, after changed, it is 1600900)
I fixed the issue thanks to my colleague Melissa:
Find java.exe you installed.
1. Right click -> Properties 2. Go to Compatibility tab 3. Check Override high DPI scaling behavior. 4. Choose System for "Scaling performed by"
For me it worked with these modifications on Windows 10.
- JDK is part of protege in jre/bin <---- to configure the correct JDK
- Compatibility tab
- Check Override high DPI scaling behavior
- Choose "System" or even better "System (enhanced)" <---- to get less blurry results
I was able to fix the problem in Protégé 5.5.0 by inserting -Dsun.java2d.dpiaware=false
just before -classpath ...
in file Protege-5.5.0-win\Protege-5.5.0\run.bat
I could not resolve java.exe properties, but I could resolve javaw.exe properties. Thank you so much.
@maoringo's solution also works for me. I also found that overriding high DPI scaling behavior in java.exe properties had no effect, but doing the same in javaw.exe properties did the trick.
@ajvizedom Thank you for your report. I'm happy to help you. I wrote a short article in Japanese. https://qiita.com/maoringo/items/822ae2f067e09e546f9c 日本語ユーザーの皆さん、お困りの時はご参照ください!
I was able to fix the problem in Protégé 5.5.0 by inserting -Dsun.java2d.dpiaware=false
just before -classpath ...
in file Protege-5.5.0-win\Protege-5.5.0\run.bat
It does not work for me.
This fixed my issues: https://superuser.com/questions/1056631/fonts-extremely-small-in-some-applications-windows-10
Thanks to @fshaker sharing the link.
I have recently got a high-dpi display and had problems with the current Protege (Desktop) distribution.
When I downloaded the current version for Windows (5.5.0), the window was minuscule.
Using the "trick": right click on .exe -> "Properties" -> tab "Compatibility" -> button "Change high DPI settings" -> check "Override high DPI scaling behaviour" then select "System (enhanced)" solved the problem only partially because some texts in the GUI were unreadable.
On my system I have the latest java installed java version "1.8.0_351"
: I solved the problem downloading the platform-independent bundle. Now everything looks fine.
I have another problem, though: launching Protege requires about 1 minute and 40 seconds. On my previous PC, less powerful than this but with Windows 10 (Pro), it was much faster (seconds).