On Mon, Apr 1, 2013 at 10:17 AM, José Matos <jama...@lyx.org> wrote: > On Monday 01 April 2013 14:31:02 Stephan Witt wrote: > >> > This is a personal preference and the original string dates back to > >> > 1999 so I would be interested in what others think. > >> > >> I agree with your change. > >> > >> Stephan > >> > > > > +1 > > > > I agree with your rationale.
Thank you for the comments. I committed at 2427e9b5. Scott
