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

Lawrence Paulson lp15 at cam.ac.uk
Sun Jan 10 12:36:32 CET 2021

It does look good, thanks!

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


> On 10 Jan 2021, at 11:18, Makarius <makarius at sketis.net> wrote:
> 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.

More information about the isabelle-dev mailing list