Juergen Spitzmueller wrote: > > If this is hard/complicated to fix we'll ditch it for 1.4.0. > > dunno. It has no high priority, though.
BTW Lars, can the metrics fixes go in? http://www.mail-archive.com/lyx-devel%40lists.lyx.org/msg75413.html Jürgen
