Tweak spacing

This commit is contained in:
Tony Garnock-Jones 2022-03-04 10:47:47 +01:00
parent 9ba4d43270
commit 5a36a66e0a
1 changed files with 1 additions and 1 deletions

View File

@ -25,7 +25,7 @@ class PseudocodePlugin(Plugin):
for line in source_lines:
if line:
line = f'    `{str(linenumber).rjust(max_linenumber_len)}:` ' + \
re.sub('^ *', lambda m: ' ' * len(m.group(0)), line) + \
re.sub('^ *', lambda m: ' ' * (len(m.group(0)) * 2), line) + \
' \n'
linenumber = linenumber + 1
else: