From 3011ba836d95ab264f689778f37d15939da70f20 Mon Sep 17 00:00:00 2001 From: eight Date: Thu, 9 Nov 2017 12:44:30 +0800 Subject: [PATCH] Fix: isInit -> initialized --- edit/applies-to-line-widget.js | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-) diff --git a/edit/applies-to-line-widget.js b/edit/applies-to-line-widget.js index 41ad6672..cbb0886a 100644 --- a/edit/applies-to-line-widget.js +++ b/edit/applies-to-line-widget.js @@ -10,20 +10,24 @@ function createAppliesToLineWidget(cm) { ]; const THROTTLE_DELAY = 400; let widgets = []; - let fromLine, toLine, gutterStyle, isInit; + let fromLine, toLine, gutterStyle; + let initialized = false; return {toggle}; - function toggle(state = !isInit) { - if (!isInit && state) { - init(); - } else if (isInit && !state) { - uninit(); + function toggle(newState = !initialized) { + newState = Boolean(newState); + if (newState !== initialized) { + if (newState) { + init(); + } else { + uninit(); + } } } function init() { - isInit = true; + initialized = true; gutterStyle = getComputedStyle(cm.getGutterElement()); fromLine = null; @@ -39,7 +43,7 @@ function createAppliesToLineWidget(cm) { } function uninit() { - isInit = false; + initialized = false; widgets.forEach(clearWidget); widgets.length = 0;