Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2020-RC2 available for testing (and ea...


view this post on Zulip Email Gateway (Aug 23 2022 at 08:40):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

a consolidated release candidate for Isabelle2020 (April 2020) is now
available from https://isabelle.in.tum.de/website-Isabelle2020-RC2

Several last-minute changes and improvements have accumulated in the past 12
days. From now on there will be no further incompatibilities, unless something
is really wrong.

See the blog entry
https://isabelle-dev.sketis.net/phame/post/view/5/release_candidates_for_isabelle2020
for further details.

People who have tested Isabelle2020-RC1 should update now to see if everything
still works, or have become even better.

When discussing observations about Isabelle2020 release candidates on the
mailing list, please provide a "Subject:" line that fits to the content, not
just a clone of this announcement.

Makarius

view this post on Zulip Email Gateway (Aug 23 2022 at 08:41):

From: Peter Lammich <lammich@in.tum.de>
Hi,

the problem with standard antialiasing still persists (Stuttering when
scrolling, significant keypress->display delay). When switching to any
subpixel mode, the problem goes away, and scrolling works at normal
speed.

The default font sizes for menu etc have been increased. This makes it
more usable on 4k screens, BUT LESS USABLE on low-resolution screens
(like my laptop). Can I tune these settings myself (ideally while the
IDE is running, second best by a command-line argument or config-file
setting.)

view this post on Zulip Email Gateway (Aug 23 2022 at 08:41):

From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
I had the same issue, and was able to tune them using the "Global Options" menu.

I did find that it was necessary to restart the IDE after making the changes,
as it seemed as though various widgets and dialogs that had already been
constructed did not update after making the font changes. So I ended up with
strange situations such as tabs with two different font sizes appearing on
the same tabbed pane. This resolved after restarting.

view this post on Zulip Email Gateway (Aug 23 2022 at 08:41):

From: Makarius <makarius@sketis.net>
On 16/03/2020 13:27, Peter Lammich wrote:

the problem with standard antialiasing still persists (Stuttering when
scrolling, significant keypress->display delay). When switching to any
subpixel mode, the problem goes away, and scrolling works at normal
speed.

I did not change anything here: the default is "standard" anti-aliasing, which
works best on most platforms that I have seen in the past few years.

It is very unusual that you have the opposite situation: it would be
interesting to figure out what is really going on here in Java 11.

Alternatively, you can try latest Java 13 from https://adoptopenjdk.net --- it
has yet another version of font rendering, see also
https://isabelle-dev.sketis.net/T10 (this is not relevant for the Isabelle2020
release).

The default font sizes for menu etc have been increased. This makes it
more usable on 4k screens, BUT LESS USABLE on low-resolution screens
(like my laptop). Can I tune these settings myself (ideally while the
IDE is running, second best by a command-line argument or config-file
setting.)

See the Isabelle/jEdit manual section 1.4.2
"Displays with high resolution".

If you want to patch jEdit properties programmatically, you can see the
corresponding property names here:
https://isabelle-dev.sketis.net/rISABELLEe76692ec6e5

Note that jEdit needs to be off while doing this, otherwise it will overwrite
the properties file ($ISABELLE_HOME_USER/jedit/properties).

Makarius


Last updated: Mar 29 2024 at 08:18 UTC