[texworks] TW-Highlighting-colors aren't equal to GUI-colors

[Stefan Löffler]

Hi,

I just wanted to notify you that I've committed r729 yesterday and also
uploaded test builds.
In the new version, the old yellow is replaced by a color composed of
the current background and foreground colors. In most environments, this
will turn out as some shade of gray (light or dark, depending on the
current OS theme). Customizability may come in the future, but for
probably not before 0.4.
I hope this works on all systems now...

HTH
Stefan