From cb366cf9d79a7cfc7b0407d232c4d47495b12cb4 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Mon, 3 Aug 2015 18:54:03 +0300
Subject: [PATCH] fixup 1ad9200: don't overwrite the initial lint delay

---
 edit.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit.js b/edit.js
index d1cf8b61..5eaa6fc3 100644
--- a/edit.js
+++ b/edit.js
@@ -778,7 +778,7 @@ function updateLintReport(cm, delay) {
 		// by settings its internal delay to 1ms and restoring it back later
 		var lintOpt = editors[0].state.lint.options;
 		setTimeout((function(opt, delay) {
-			opt.delay = delay;
+			opt.delay = delay == 1 ? opt.delay : delay; // options object is shared between editors
 			update(this);
 		}).bind(cm, lintOpt, lintOpt.delay), delay);
 		lintOpt.delay = 1;