From 7fb1a06e1e8666fbecc86ffa0b42fbd49e0cfb97 Mon Sep 17 00:00:00 2001 From: Daniel Mouritzen Date: Sat, 27 Oct 2018 18:18:51 +0200 Subject: [PATCH 1/3] Add ~ and _ to autoclosing brackets --- browser/components/CodeEditor.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/browser/components/CodeEditor.js b/browser/components/CodeEditor.js index 9953f9bf..11d45ff3 100644 --- a/browser/components/CodeEditor.js +++ b/browser/components/CodeEditor.js @@ -214,7 +214,7 @@ export default class CodeEditor extends React.Component { foldGutter: true, gutters: ['CodeMirror-linenumbers', 'CodeMirror-foldgutter'], autoCloseBrackets: { - pairs: '()[]{}\'\'""$$**``', + pairs: '()[]{}\'\'""$$**``~~__', triples: '```"""\'\'\'', explode: '[]{}``$$', override: true From d6fe0df24fc546d2d7e440377886e67185da64f0 Mon Sep 17 00:00:00 2001 From: Daniel Mouritzen Date: Sat, 27 Oct 2018 18:22:03 +0200 Subject: [PATCH 2/3] Add ~ and _ to autoclosing brackets --- browser/main/modals/PreferencesModal/SnippetEditor.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/browser/main/modals/PreferencesModal/SnippetEditor.js b/browser/main/modals/PreferencesModal/SnippetEditor.js index 4ce5dc34..c72293e4 100644 --- a/browser/main/modals/PreferencesModal/SnippetEditor.js +++ b/browser/main/modals/PreferencesModal/SnippetEditor.js @@ -28,7 +28,7 @@ class SnippetEditor extends React.Component { foldGutter: true, gutters: ['CodeMirror-linenumbers', 'CodeMirror-foldgutter'], autoCloseBrackets: { - pairs: '()[]{}\'\'""$$**``', + pairs: '()[]{}\'\'""$$**``~~__', triples: '```"""\'\'\'', explode: '[]{}``$$', override: true From 116244384e73917868cab3da2b7ef70afb487a84 Mon Sep 17 00:00:00 2001 From: Daniel Mouritzen Date: Mon, 4 Mar 2019 08:37:29 +0100 Subject: [PATCH 3/3] Add ~ and _ to autoclosing brackets --- browser/main/lib/ConfigManager.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/browser/main/lib/ConfigManager.js b/browser/main/lib/ConfigManager.js index 5558b3bd..05f3d822 100644 --- a/browser/main/lib/ConfigManager.js +++ b/browser/main/lib/ConfigManager.js @@ -47,7 +47,7 @@ export const DEFAULT_CONFIG = { enableRulers: false, rulers: [80, 120], displayLineNumbers: true, - matchingPairs: '()[]{}\'\'""$$**``', + matchingPairs: '()[]{}\'\'""$$**``~~__', matchingTriples: '```"""\'\'\'', explodingPairs: '[]{}``$$', switchPreview: 'BLUR', // 'BLUR', 'DBL_CLICK', 'RIGHTCLICK'