Joao Luis Meloni Assirati wrote:
This is a problem of qt frontend. There is a patch inThanks. Weird that I didn't find the bugsreport and patch when I searched for "pipe"
http://bugzilla.lyx.org/show_bug.cgi?id=865
in bugzillla.
Oh well, time to go home and sleep a while.
Michael
--
Michael Abshoff - MRB - Universität Dortmund - Telefon 755-3463 (intern)
Where do you want to RTFM today?