Fix: Guard for linting events which come not from the active view
@@ -31,6 +31,8 @@ def plugin_unloaded():
def on_finished_linting(vid):
State['running'].pop(vid, None)
+ active_view = State['active_view']
+ if active_view and active_view.id() == vid:
State.update({
'we_count': get_we_count(vid)
})
@@ -42,6 +44,8 @@ def on_finished_linting(vid):
def on_begin_linting(vid):
State['running'][vid] = time.time()
+ active_view = State['active_view']
+ if active_view and active_view.id() == vid:
draw(**State)
