Ensure highlighting is done when going to sourceline

This commit is contained in:
Kovid Goyal 2019-01-20 15:53:53 +05:30
parent 804e3fbf1c
commit 3f1cc2725a
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -527,6 +527,7 @@ class Smarts(NullSmarts):
block = editor.document().findBlockByNumber(sourceline - 1) # blockNumber() is zero based
if not block.isValid():
return found_tag
editor.highlighter.join()
c = editor.textCursor()
ud = block.userData()
all_tags = [] if ud is None else [t for t in ud.tags if (t.is_start and not t.closing)]