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