[protege-user] Protege resolution

[c***@ieee.org]

On my Windows 10 computer, the size of the Protege font in the taxonomy
tab (as well as in any of the Entity tabs) is too small (see screenshot
here <https://goo.gl/mrxaB6>), which renders Protege basically unusable.
I have tried messing with my computer's resolution, as well as with the
font size in the renderer preferences, to no avail. Any suggestions on
how to make the font bigger?

(For comparison, the screenshot also shows the size of the font in a
100% Chrome windows.)

Christian

[Csongor Nyulas]

Hi Christian,

Do you have a high DPI screen set on high resolution, by any chance?

There is a known issue with Java/Swing, when used on high DPI screens.
It was reported that this bug has been fixed in JDK 9, so you may want
to use run Protege with JDK 9, to overcome this problem.

For more discussion on this, please check out these issues:
https://github.com/protegeproject/protege/issues/115
https://github.com/protegeproject/protege/issues/251

Csongor

Post by c***@ieee.org
On my Windows 10 computer, the size of the Protege font in the
taxonomy tab (as well as in any of the Entity tabs) is too small (see
screenshot here <https://goo.gl/mrxaB6>), which renders Protege
basically unusable. I have tried messing with my computer's
resolution, as well as with the font size in the renderer preferences,
to no avail. Any suggestions on how to make the font bigger?
(For comparison, the screenshot also shows the size of the font in a
100% Chrome windows.)
Christian
_______________________________________________
protege-user mailing list
https://mailman.stanford.edu/mailman/listinfo/protege-user

[c***@ieee.org]

Yes, that must be it. My laptop's DPI is very high. However, when it comes to running Protege with JDK 9, that is easier said than done. Do I need the whole JDK, or will JRE 9 do? So far I've installed JRE 9, and it is not working. I am guessing you guys are waiting until Java 9 is released officially in order to bundle it with Protege, right?

C

Message: 6
Date: Wed, 13 Sep 2017 11:04:56 -0700
From: Csongor Nyulas<***@stanford.edu>
To:protege-***@lists.stanford.edu
Subject: Re: [protege-user] Protege resolution
Message-ID:<cce93455-7d38-f46d-fec4-***@stanford.edu>
Content-Type: text/plain; charset="utf-8"; Format="flowed"

Hi Christian,

Do you have a high DPI screen set on high resolution, by any chance?

There is a known issue with Java/Swing, when used on high DPI screens.
It was reported that this bug has been fixed in JDK 9, so you may want
to use run Protege with JDK 9, to overcome this problem.

For more discussion on this, please check out these issues:
https://github.com/protegeproject/protege/issues/115
https://github.com/protegeproject/protege/issues/251

Csongor

Post by c***@ieee.org
On my Windows 10 computer, the size of the Protege font in the
taxonomy tab (as well as in any of the Entity tabs) is too small (see
screenshot here<https://goo.gl/mrxaB6>), which renders Protege
basically unusable. I have tried messing with my computer's
resolution, as well as with the font size in the renderer preferences,
to no avail. Any suggestions on how to make the font bigger?
(For comparison, the screenshot also shows the size of the font in a
100% Chrome windows.)
Christian
_______________________________________________
protege-user mailing list
https://mailman.stanford.edu/mailman/listinfo/protege-user

-------------- next part --------------
An HTML attachment was scrubbed...
URL:<http://mailman.stanford.edu/pipermail/protege-user/attachments/20170913/86ea304d/attachment-0001.html>

------------------------------

[Csongor Nyulas]

You only need the JRE. But you have to make sure to either make that
your default Java, or change the run.bat file to refer to the Java VM in
JRE 9. BTW, you'll need to run Protege with the run.bat.

Regarding your question about bundling Protege with Java 9, we have not
made any decision yet. We are conscious about the fact that requesting a
new version of JRE to run Protege may be a show stopper for many users,
who are working in environments with strict restriction (i.e. big
companies or organizations)

Csongor

Post by c***@ieee.org
Yes, that must be it. My laptop's DPI is very high. However, when it comes to running Protege with JDK 9, that is easier said than done. Do I need the whole JDK, or will JRE 9 do? So far I've installed JRE 9, and it is not working. I am guessing you guys are waiting until Java 9 is released officially in order to bundle it with Protege, right?
C
Message: 6
Date: Wed, 13 Sep 2017 11:04:56 -0700
Subject: Re: [protege-user] Protege resolution
Content-Type: text/plain; charset="utf-8"; Format="flowed"
Hi Christian,
Do you have a high DPI screen set on high resolution, by any chance?
There is a known issue with Java/Swing, when used on high DPI screens.
It was reported that this bug has been fixed in JDK 9, so you may want
to use run Protege with JDK 9, to overcome this problem.
https://github.com/protegeproject/protege/issues/115
https://github.com/protegeproject/protege/issues/251
Csongor

Post by c***@ieee.org
On my Windows 10 computer, the size of the Protege font in the
taxonomy tab (as well as in any of the Entity tabs) is too small (see
screenshot here<https://goo.gl/mrxaB6>), which renders Protege
basically unusable. I have tried messing with my computer's
resolution, as well as with the font size in the renderer preferences,
to no avail. Any suggestions on how to make the font bigger?
(For comparison, the screenshot also shows the size of the font in a
100% Chrome windows.)
Christian
_______________________________________________
protege-user mailing list
https://mailman.stanford.edu/mailman/listinfo/protege-user

-------------- next part --------------
An HTML attachment was scrubbed...
URL:<http://mailman.stanford.edu/pipermail/protege-user/attachments/20170913/86ea304d/attachment-0001.html>
------------------------------
_______________________________________________
protege-user mailing list
https://mailman.stanford.edu/mailman/listinfo/protege-user