diff --git a/Documentation/UserTsconfig/Options.rst b/Documentation/UserTsconfig/Options.rst index 01e923a4..3268dd19 100644 --- a/Documentation/UserTsconfig/Options.rst +++ b/Documentation/UserTsconfig/Options.rst @@ -951,7 +951,7 @@ pageTree.showNavTitle :Data type: boolean If set, the navigation title is displayed in the page navigation tree - instead of the normal page title. The page title is showed in a + instead of the normal page title. The page title is shown in a tooltip if the mouse hovers the navigation title.