[jed-users] colours for HTML mode

[Ulli Horlacher <framstag@xxxxxxxxxxxxxxxxxxxx>]

After upgrade from jed-0.99-19 to jed-0.99-20_116 jed uses "wrong" colours
for HTML mode: white on blue for HTML statements, instead of red on white.

Probably I have made an error with the upgrade.

I have in my jed.rc:

set_color_scheme("xterm");

and in colors/xterm.sl:

set_color("html","brightred",bg)

But this does not work any more.


-- 
Ullrich Horlacher              Server und Virtualisierung
Rechenzentrum TIK         
Universitaet Stuttgart         E-Mail: horlacher@xxxxxxxxxxxxxxxxxxxx
Allmandring 30a                Tel:    ++49-711-68565868
70569 Stuttgart (Germany)      WWW:    http://www.tik.uni-stuttgart.de/
REF:<20161026103247.GA13418@xxxxxxxxxxxxxxxxxxxx>
_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.