]> git.lyx.org Git - features.git/search
Fix bug #7909: mark-on selection is lost during screen-down and screen-up