NEWS: Isabelle/jEdit dark mode

[Makarius]

On 20/05/2025 20:34, Makarius wrote:
> 
> This refers to Isabelle/f7007ebfb556. It is based on a bachelor project by Kai 
> Naumann (supervised by Balazs Toth), LMU München. As often, I ended up 
> changing the initial design and implementation in several rounds.

Further side-remarks: the color scheme is mostly that of Kai Naumann, who made 
some efforts to produce an "accessible" color scheme, taking well-known 
limitations of eye-sight into account.

We may have to refine the colors a few more times, and take other "dark" 
themes into account as well (e.g. IntelliJ IDEA, VSCode). Also note that macOS 
provides a built-in color filter to simulate such limitations, but I have not 
tried that yet.


Right now, the main point in testing is to figure out details that are 
definitely unusable. For example, only today I have noticed that the small 
dropdown triangle in the dockable window manager was almost invisible. I've 
changed it here, both in size and color:

changeset:   82634:9f85679fd899
user:        wenzelm
date:        Tue May 20 15:32:24 2025 +0200
files:       src/Tools/jEdit/patches/docking src/Tools/jEdit/patches/gui 
src/Tools/jEdit/patches/panel_font src/Tools/jEdit/patches/vfs_marker
description:
proper scalable icon, also for dark mode -- requires to update jedit component;


	Makarius