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

Makarius makarius at sketis.net
Sun Jan 10 15:28:29 CET 2021

On 10/01/2021 12:36, Lawrence Paulson wrote:
> It does look good, thanks!
> I briefly tried dark mode, but it’s not attractive, as the main editing window remains in light mode.

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.


More information about the isabelle-dev mailing list