On 7/19/05, Georg Baum <[EMAIL PROTECTED]> wrote: > > Yes, Angus, that is exactly what I mean. Maybe, this feature would be > > worthy of implementing in the future as an user option. But, of > > course, I know that there are many other features and more important > > to be implemented... > > If you add this as an enhancement request at http://bugzilla.lyx.org there > is a chance that it will be implemented eventually. Otherwise it will be > forgotten very soon.
Done: bug 1928. Paul
