-
Notifications
You must be signed in to change notification settings - Fork 231
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
Class hierarchy font too small on high resolutions #752
Comments
Thanks for the screen shot @darth-willy . This is very useful! 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, setlocal What should be the correct run.bat? |
This looks good to me, @cedricemvista
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. |
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 |
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). 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.
|
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 <notifications@github.com>
Sent: January-14-19 9:37 PM
To: protegeproject/protege <protege@noreply.github.com>
Cc: William Van Woensel <william.van.woensel@gmail.com>; Mention <mention@noreply.github.com>
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 <#752 (comment)> , 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) |
For me it worked with these modifications on Windows 10.
|
I was able to fix the problem in Protégé 5.5.0 by inserting just before 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. |
@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. |
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 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). |
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
The text was updated successfully, but these errors were encountered: