]> git.lyx.org Git - lyx.git/search
Work-around for bug #6034: Applying preferences confuses window about its size.