On Thu, Nov 06, 2003 at 01:32:54PM +0100, Alfredo Braunstein wrote:
> Shouldn't we have a language "ignore" or "unknown"?
> I think this is a must in a lot of situations.
Why not.
> Incidentally, we could then put ERT text automatically in that
> language and automatically solve the spellcheck-ert problem. Of
> course, alternatively, I can reintroduce the bool
> InsetOld::allowSpellCheck() flag and use that to skip ERT.
>
> What's better?
The language "unknown" seems to be more generic, but it also smells a
bit like abuse...
I don't know, I think either is ok. I'd probably use 'allowSpellCheck'
as this indicates exactly its single purpose and we'd separate two
ideas ('language is unknown', 'dont spellcheck') cleanly.
Andre'
--
Those who desire to give up Freedom in order to gain Security, will not have,
nor do they deserve, either one. (T. Jefferson or B. Franklin or both...)
