Skip to content

Commit

Permalink
add typing
Browse files Browse the repository at this point in the history
  • Loading branch information
seanbudd authored Feb 2, 2024
1 parent 1992f9e commit 714ce8f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion user_docs/keyCommandsDoc.py
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 714ce8f

Please sign in to comment.