From e93819deb4515f9f2d9116cfea6b21aa05c8dd72 Mon Sep 17 00:00:00 2001 From: eight Date: Sun, 14 Oct 2018 02:58:49 +0800 Subject: [PATCH] Fix: unused statement --- edit/edit.js | 3 --- 1 file changed, 3 deletions(-) diff --git a/edit/edit.js b/edit/edit.js index 40778825..103159ea 100644 --- a/edit/edit.js +++ b/edit/edit.js @@ -238,9 +238,6 @@ preinit(); } })(); -prefs.subscribe(['editor.smartIndent'], (key, value) => - CodeMirror.setOption('smartIndent', value)); - function preinit() { // preload the theme so that CodeMirror can calculate its metrics in DOMContentLoaded->setupLivePrefs() new MutationObserver((mutations, observer) => {