]> git.lyx.org Git - features.git/search
If we switch via the mouse, we need to update the Buffer