Removing checkmark and fixed Code Editor indentation

2025-12-13 17:56:25 +00:00 · 2018-11-08 13:25:22 +00:00
parent ab65fb7a5c
commit 441c70b388
8 changed files with 530 additions and 475 deletions
--- a/browser/main/lib/ConfigManager.js
+++ b/browser/main/lib/ConfigManager.js
@@ -44,7 +44,6 @@ export const DEFAULT_CONFIG = {
    enableRulers: false,
    rulers: [80, 120],
    displayLineNumbers: true,
-    enableBracketMatching: true,
    matchingPairs:'()[]{}\'\'""$$**``',
    matchingTriples:'```"""\'\'\'',
    explodingPairs:'[]{}``$$',