Add type to add_preview_shortcut

This commit is contained in:
Henrik Giesel 2021-04-15 15:50:29 +02:00
parent fb8a2f4dc8
commit 5702b3c273

View File

@ -396,7 +396,7 @@ $editorToolbar.addButton({{
"""
)
def add_preview_shortcut(cuts, editor: Editor) -> None:
def add_preview_shortcut(cuts: List[Tuple], editor: Editor) -> None:
cuts.append(("Ctrl+Shift+P", self.onTogglePreview, True))
gui_hooks.editor_did_init.append(add_preview_button)