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

[Lawrence Paulson]

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

> 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.