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

Reply via email to