ERT - PopUp-menu

2001-08-07 Thread Herbert Voss
open the popup menu of an ert with right mouse button and close it. on screen you get a new empty line! this only happens when you do nothing in the popup menu! Herbert -- http://www.educat.hu-berlin.de/~voss/lyx/

ERT - PopUp-menu

2001-08-07 Thread Herbert Voss
open the popup menu of an ert with right mouse button and close it. on screen you get a new empty line! this only happens when you do nothing in the popup menu! Herbert -- http://www.educat.hu-berlin.de/~voss/lyx/