On Sun, Jan 12, 2003 at 05:12:01PM +0100, Robert Lillack wrote:
> I'm addicted to JED (great software) but can't get it to use
> another color scheme than the default one.
Yes, it is addictive, isn't it?
> The last line of my config file looks like this:
> () = evalfile("colors/white1.sl");
> Any hints? Thanks in advance,
Try this instead:
set_color_scheme( "white1" )
The included jed.rc has examples of this (~line 192).
> Rob.
HTH,
~D
Attachment:
pgpJfojAOQW2P.pgp
Description: PGP signature