From 86c505e886a6537775d1b608fb48664dcf268cc1 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Wed, 6 Mar 2024 16:38:03 +0000 Subject: [PATCH] [BUGFIX] Fix typo in usertsconfig options (#439) Co-authored-by: Christian Weiske --- Documentation/UserTsconfig/Options.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/UserTsconfig/Options.rst b/Documentation/UserTsconfig/Options.rst index fdc90a15..58b22cc4 100644 --- a/Documentation/UserTsconfig/Options.rst +++ b/Documentation/UserTsconfig/Options.rst @@ -992,7 +992,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.