Bug in get/set_color() in 0.99.18

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi John,

what do you think about this behaviour:

#v+
% jed -batch -f 'get_color("default"); _print_stack()'           
loading /usr/share/jed/lib/site.sl
...
(1)[Null_Type]:NULL
(0)[Null_Type]:NULL

% jed -f 'get_color("default"); _print_stack(); sw2buf("*traceback*")'
(1)[String_Type]:black
(0)[String_Type]:white
#v-

This leads to a backtrace with "jed -batch --mailedit-mode".

Shouldn't the color functions be undefined in batch mode? Should
set_color() accept NULL or get_color() return ""?

Bye, Jörg.
-- 
Angenehme Worte sind nie wahr,
wahre Worte sind nie angenehm.

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.