ERT - PopUp-menu

[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/