From 11d8687af7bc6c3c54cca762a0d8540e074b2e86 Mon Sep 17 00:00:00 2001
From: Rob Garrison <wowmotty@gmail.com>
Date: Fri, 14 Jul 2017 04:42:55 -0500
Subject: [PATCH] Wrap case statement to fix eslint issue

---
 edit/edit.js | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/edit/edit.js b/edit/edit.js
index 2415642b..53053f95 100644
--- a/edit/edit.js
+++ b/edit/edit.js
@@ -299,8 +299,7 @@ function acmeEventListener(event) {
     case 'tabSize':
       CodeMirror.setOption('indentUnit', Number(value));
       break;
-    /* eslint-disable no-case-declarations */
-    case 'theme':
+    case 'theme': {
       const themeLink = document.getElementById('cm-theme');
       // use non-localized 'default' internally
       if (!value || value == 'default' || value == t('defaultTheme')) {
@@ -327,7 +326,7 @@ function acmeEventListener(event) {
         }, 100);
       })();
       return;
-    /* eslint-enable no-case-declarations */
+    }
     case 'autocompleteOnTyping':
       editors.forEach(cm => {
         const onOff = el.checked ? 'on' : 'off';