]> git.lyx.org Git - features.git/search
We need to check, in closeFontTags(), for the case where we haven't