On Wed, May 01, 2002 at 12:44:46AM +0300, Dekel Tsur wrote:

> > http://bugzilla.lyx.org/show_bug.cgi?id=315
> 
> So the move fix some problems, but create new ones.
> There are already several compatibility issues with 1.2.0, so why add
> another one ?

There's a simple work around. JMarc wants to leave it as is to see how
many people have this problem.

> I suggest we revert to the old behavior (which has been around for ages,
> (before 1.0)), and make a proper fix in 1.3.0 (or later):

You will have to convince JMarc

> have a package management dialog which allow you to add the packages
> you want (and set their options)

I think Herbert's tree can help you here :)

regards
john

-- 
"Please let's not resume the argument with the usual whining about how this
feature will wipe out humanity or bring us to the promised land."
        - Charles Campbell on magic words in Subject: headers

Reply via email to