From 48ca974b6dab13f8522f411e6f476c3b0962f8fa 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:21 +0000
Subject: [PATCH] [BUGFIX] Fix typo in usertsconfig options (#438)

Co-authored-by: Christian Weiske <weiske@mogic.com>
---
 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 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.