[isabelle-dev] NEWS: Improved GUI look-and-feel
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