From e041383cd83f5e411c46ba6941831422a89a32c6 Mon Sep 17 00:00:00 2001
From: Eric Amodio <eamodio@gmail.com>
Date: Thu, 8 Feb 2018 02:05:14 -0500
Subject: [PATCH] Fixes #274 - TextEditor is closed/disposed

---
 src/currentLineController.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/currentLineController.ts b/src/currentLineController.ts
index a4dc54c..37d6694 100644
--- a/src/currentLineController.ts
+++ b/src/currentLineController.ts
@@ -364,6 +364,7 @@ export class CurrentLineController extends Disposable {
 
     private clearAnnotations(editor: TextEditor | undefined) {
         if (editor === undefined) return;
+        if ((editor as any)._disposed === true) return;
 
         editor.setDecorations(annotationDecoration, []);
     }