23 Mar
2022
23 Mar
'22
4:30 p.m.
Thank you Christian, from a happy night coder.
Best, Marc
On Wed, 23 Mar 2022, Christian Grün wrote:
Fixed [1]; thanks for the observation. All the best, Christian
[1] https://files.basex.org/releases/latest/
The syntax highlighting doesn't change when changing the look and feel in the BaseX GUI (9.6.2). I noticed this also happens in earlier versions. After changing to a dark background this results in blue on black, for instance. This happens with the JTattoo lib, but also GTK under a dark Linux theme.
This occurs in Linux, all kinds of distro's, both Debian and Fedora based. Open JDK 11.0.6.
In BaseX GUI 8.6.x all is fine, running under the same conditions.
Regards, Marc