Re: syntax switching

[Leonard den Ottolander <leonard den ottolander nl>]

Hi Pavel,

On Tue, 2006-01-31 at 15:46 +0200, Pavel Tsekov wrote:
> There is such toggle already in the editor configuration dialog box.

Yup. Forgot about that as I never feel the need to switch highlighting
off ;) . Now I think of it I've contemplated to move it to the syntax
highlighting dialog before but decided to wait a bit until the syntax
highlighting dialog had been around for a while.

> > Note that you can already toggle the syntax highlighting by choosing
> > "unknown" in that dialog. (This is not meant as an argument against a
> > global toggle.)
> 
> But that is not as fast as a single key press.

Sure. The above remark was only a FYI. Hence my remark between brackets.
I'd just forgotten about the option in the editor configuration. Please
commit the patch. It seems simple enough. We still might consider moving
or adding that option to the syntax highlighting dialog later.

Leonard.

-- 
mount -t life -o ro /dev/dna /genetic/research