Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Improved GUI look-and-feel

Email Gateway (Jan 09 2021 at 00:25):

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

• Improved GUI look-and-feel: the portable and scalable FlatLightLaf is
  used by default on all platforms (appearance similar to IntelliJ IDEA).

This refers to Isabelle/efc58b56a6c7, it avoids various GUI problems on Linux
(broken GTK), Windows (bad button fonts), macOS (visual glitches).

Existing Isabelle installations (repository closes etc.) need to change
Utilities / Global Options / Appearance / Swing look & feel to "FlatLaf
Light", or "FlatLaf Dark" (presently untested).

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Email Gateway (Jan 10 2021 at 11:18):

From: Makarius <makarius@sketis.net>
In Isabelle/9480a9efe19e I have made a small patch to FlatLightLaf to get the
buttons in the Symbols dockable right (Digits, Letters).

The corresponding issue https://github.com/JFormDesigner/FlatLaf/issues/234
got closed rather quickly. The guy behind the project is actually from the
Munich area: Karl Tauber as founder of https://www.formdev.com/company

If there are further fine points for our great new look-and-feel, I will
refine them for the release.

Bigger renovations may come after the release: there is no need to have old
Java applications look crappy.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Email Gateway (Jan 10 2021 at 11:41):

From: Lawrence Paulson <lp15@cam.ac.uk>
It does look good, thanks!

I briefly tried dark mode, but it’s not attractive, as the main editing window remains in light mode.

Larry

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Email Gateway (Jan 10 2021 at 14:28):

From: Makarius <makarius@sketis.net>
In principle this could be changed: by manual tinkering with jEdit options.

More challenging are the keyword + PIDE rendering colors: for Isabelle/VSCode
I've made only very crude setup some years ago.

I think some users already have a slightly better private setup.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Dec 21 2024 at 16:20 UTC