From 1d1d0453e1d087e1816743666e13bf1b48459e62 Mon Sep 17 00:00:00 2001 From: tophf Date: Sat, 2 Sep 2017 19:32:12 +0300 Subject: [PATCH] code cosmetics to silence eslint --- js/prefs.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/prefs.js b/js/prefs.js index e308bbfd..0453314a 100644 --- a/js/prefs.js +++ b/js/prefs.js @@ -25,7 +25,7 @@ var prefs = new function Prefs() { 'manage.newUI.targets': 3, // max number of applies-to targets visible: 0 = none 'editor.options': {}, // CodeMirror.defaults.* - 'editor.options.expanded': true,// UI element state: expanded/collapsed + 'editor.options.expanded': true, // UI element state: expanded/collapsed 'editor.lineWrapping': true, // word wrap 'editor.smartIndent': true, // 'smart' indent 'editor.indentWithTabs': false, // smart indent with tabs