Re: [patch] cursor position update, cursor often stays at old position

[Stefan Schimanski]

And one about the described general problem: http://bugzilla.lyx.org/ show_bug.cgi?id=3873

Stefan

PGP.sig
Description: Signierter Teil der Nachricht