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
regards
john
--
"This *is* Usenet, after all, where virtually every conversation that goes on
is fairly ludicrous in the first place."
- Godwin's Law FAQ
