Re: [isabelle] Isabelle2016-RC0: HiDPI + Linux
On Tue, 12 Jan 2016, Corey Richardson wrote:
Isabelle/jEdit with this release still doesn't work very well with "HiDPI"
screens on Linux. For example, I've attached a screenshot of Isabelle/jEdit in
front of a terminal. My screen is 3200x1800. It's quite difficult to use,
although turning up the font size in the editor as I've done helps somewhat.
The larger text in the image I consider comfortable but small, whereas the
smaller text is near unreadable.
I realize this is more of a platform/jdk concern -- I found
https://bugs.openjdk.java.net/browse/JDK-8137571, which are slated for
inclusion in the JDK9. However, if a workaround were possible in
Isabelle/jEdit, I would appreciate it.
That is an interesting article about ongoing work on Java 9. I estimate
that Oracle will require 1-2 more years to make Java 9 practically
available for everyone. For Isabelle2016 we are shipping Java 8 for the
first time, and I am still hoping for further consolidation next week.
As I am using a 3840x2160 display myself since Dec-2014, I've spent a lot
of time during last year to make jEdit 5.3.0 work properly with that.
This is used for Isabelle2016-RC0, and its NEWS file advertizes improved
4K display support explicitly.
These changes are mainly relevant for Windows 7, 8.1, 10, due to the way
the system DPI configuration is applied to its native GUI in AWT/Swing.
For Linux, the approach to GUI scaling works the same for Isabelle2015 and
Isabelle2016, as described in the Isabelle/jEdit manual section "2.1.2
Displays with very high resolution". The manual is not yet updated in
Isabelle2016-RC0, so the text and the screenshot is still that of
Isabelle2015. Your screenshot shows Linux with Metal look&feel, so this
should definitely work as described.
Just yesterday, I've updated the screenshots for the coming release. See
as a proof that the rendering quality did not change with the (scalable)
Personally, I am often using GTK look&feel, with GTK's own font and GUI
scaling. But that depends on so many other side-conditions, that I don't
dare to make it the default.
This archive was generated by a fusion of
Pipermail (Mailman edition) and