]> git.lyx.org Git - features.git/search
Fix r31814: we have to close the tab not hide it. Also rename the closeCurrentTab...