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) => {