From 5453acafc2ed140983ede6e77313c429b4aaea6f Mon Sep 17 00:00:00 2001 From: Gusted Date: Fri, 16 Jul 2021 22:55:29 +0200 Subject: [PATCH] Use new pref(fixes bad copy pasta) --- edit.html | 2 +- js/prefs.js | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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