John Levon <[EMAIL PROTECTED]> writes: | On Thu, Sep 12, 2002 at 02:55:40PM +0200, Lars Gullik Bjønnes wrote: > >> | doing it like that, there wouldn't be a prefs dialog, because I don't >> | set any. >> >> Then I'll rephrase... options that are not obviously userful to you >> are likely to get dropped. > | I don't believe I have yet dropped any UI without consultation with | lyx-devel
Oooo... but you want to, don't you? -- Lgb