From 15d9d4e201bc857af591a14258806bb236da3320 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Tue, 30 Jan 2018 09:31:40 +0100
Subject: [PATCH] Fix lint warning
---
src/model/changes.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/model/changes.js b/src/model/changes.js
index f006ceadb..0d356f69a 100644
--- a/src/model/changes.js
+++ b/src/model/changes.js
@@ -112,7 +112,7 @@ export function makeChangeFromHistory(doc, type, allowSelectionOnly) {
}
selAfter = event
} else if (suppress) {
- source.push(event);
+ source.push(event)
return
} else break
}
--
GitLab