>>>>> "Herbert" == Herbert Voss <[EMAIL PROTECTED]> writes:
Herbert> Jean-Marc Lasgouttes wrote: >> choice should be done in prefs, and not in each dialog. Herbert> there is a _main_ topic Help, why do you need the preferences Herbert> gui for the global settings? You mean it should be a toggle in Help menu? Not a bad idea, although we do not have menu entries that change things in a permanent way. If it is kept among runs, then I think it should go in prefs. JMarc
