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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
