diff --git a/edit/edit.js b/edit/edit.js index d48d8b35..46118226 100644 --- a/edit/edit.js +++ b/edit/edit.js @@ -1395,10 +1395,12 @@ function initHooks() { $('#sections-help').addEventListener('click', showSectionHelp, false); $('#keyMap-help').addEventListener('click', showKeyMapHelp, false); $('#cancel-button').addEventListener('click', goBackToManage); + $('#options').open = prefs.get('editor.options.expanded'); $('#options h2').addEventListener('click', () => { setTimeout(() => prefs.set('editor.options.expanded', $('#options').open)); }); + prefs.subscribe((key, value) => ($('#options').open = value), ['editor.options.expanded']); initLint();