🚀 go-pugleaf

In article <828880492snz@pdlmail.demon.co.uk>
           pete@pdlmail.demon.co.uk "Peter Disdale" writes:

> Nothing serious, and not worth expending lots of time/effort on
> to fix - more of an annoyance really.
> [description of slight problem with colour settings in DIS...]

Whilst you're at it, why oh why was the name COLOURS.CTX chosen for the
file containing these settings?   It's *really* aggravating to me,
because I use an editor (SEDT, a PC implementation of DEC's famous EDT
editor) which retains context files for each edit performed.  From time
to time, I'll decide to clear out *.CTX in various directories: bang goes
my colour configuration.  Since the file defines a *configuration*, would
it not have been more appropriate had the file type extension been .CFG?

-- 
Brian {Hamilton Kelly}                                         bhk@dsl.co.uk
                       "A language is a dialect that has an army and a navy"    
                                                          --  Samuel Johnson