From 21a7ddab1b530e87e41eebaaeeb9597c85da32fa Mon Sep 17 00:00:00 2001
From: eight <eight04@gmail.com>
Date: Wed, 7 Nov 2018 11:25:31 +0800
Subject: [PATCH] Fix: remove unused distroy function

---
 edit/codemirror-factory.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/edit/codemirror-factory.js b/edit/codemirror-factory.js
index b1d89f08..68996bb9 100644
--- a/edit/codemirror-factory.js
+++ b/edit/codemirror-factory.js
@@ -188,7 +188,6 @@ const cmFactory = (() => {
       cm.lastActive = Date.now();
     });
     editors.add(cm);
-    cm.distroy = () => editors.delete(cm);
     return cm;
   }