mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-21 23:09:40 +00:00
075d53c990
This commit documents the feature introduced at 4803c769, which fixed #10288. The User Guide already has a section on closing tabs, so this fits in well.