From 714ce8f90a1d92a829026118779bea01baeb9143 Mon Sep 17 00:00:00 2001
From: Sean Budd <sean@nvaccess.org>
Date: Fri, 2 Feb 2024 14:11:49 +1100
Subject: [PATCH] add typing

---
 user_docs/keyCommandsDoc.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user_docs/keyCommandsDoc.py b/user_docs/keyCommandsDoc.py
index d1eadb71b96..f2716fe0d32 100644
--- a/user_docs/keyCommandsDoc.py
+++ b/user_docs/keyCommandsDoc.py
@@ -178,7 +178,7 @@ def _writeHeadings(self):
 			self._kcLines.append(heading.group(0))
 		self._kcLastHeadingLevel = level
 
-	def _heading(self, m: re.Match, appendHeading=True):
+	def _heading(self, m: re.Match, appendHeading: bool = True):
 		# We work with 0 based heading levels.
 		# Ignoring the title, the highest heading in a markdown document is 2 (##).
 		# Thus why we must subtract 2 here.