Stream: Mirror: Isabelle Development Mailing List

Topic: NEWS: Isabelle/jEdit GUI scaling on Linux

Email Gateway (Jun 13 2025 at 14:21):

From: Makarius <makarius@sketis.net>
* Isabelle/jEdit Prover IDE *

• Automatic GUI scaling on Linux, based on global GDK_SCALE for Java.
  This is only an approximation: an integer factor that applies uniformly
  to all displays. In contrast, Windows and macOS work with accurate GUI
  scaling for each individual display, based on operating system settings
  and FlatLaf defaults.

This refers to Isabelle/a3e7732b0393.

Using it on the repository means that some jEdit user properties need to be
adjusted (or rather removed): view.fontsize, view.gutter.fontsize,
console.fontsize

Makarius

Last updated: Jul 12 2025 at 16:25 UTC