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

[Makarius]

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