diff --git a/edit.html b/edit.html index a48f96f9..f37e083f 100644 --- a/edit.html +++ b/edit.html @@ -392,7 +392,7 @@ -
+

diff --git a/js/prefs.js b/js/prefs.js index 3d7b93fa..5a5011d3 100644 --- a/js/prefs.js +++ b/js/prefs.js @@ -61,6 +61,7 @@ 'editor.toc.expanded': true, // UI element state: expanded/collapsed 'editor.options.expanded': true, // UI element state: expanded/collapsed 'editor.lint.expanded': true, // UI element state: expanded/collapsed + 'editor.integration.expanded': true, // UI element state expanded/collapsed 'editor.lineWrapping': true, // word wrap 'editor.smartIndent': true, // 'smart' indent 'editor.indentWithTabs': false, // smart indent with tabs