diff options
Diffstat (limited to 'language-web/src')
-rw-r--r-- | language-web/src/main/js/editor/EditorArea.tsx | 5 | ||||
-rw-r--r-- | language-web/src/main/js/language/indentation.ts | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/language-web/src/main/js/editor/EditorArea.tsx b/language-web/src/main/js/editor/EditorArea.tsx index 678a632d..dba20f6e 100644 --- a/language-web/src/main/js/editor/EditorArea.tsx +++ b/language-web/src/main/js/editor/EditorArea.tsx | |||
@@ -95,8 +95,9 @@ export const EditorArea = observer(() => { | |||
95 | 95 | ||
96 | useEffect(() => { | 96 | useEffect(() => { |
97 | if (editorParentRef.current === null) { | 97 | if (editorParentRef.current === null) { |
98 | // Nothing to clean up. | 98 | return () => { |
99 | return () => {}; | 99 | // Nothing to clean up. |
100 | }; | ||
100 | } | 101 | } |
101 | 102 | ||
102 | const editorView = new EditorView({ | 103 | const editorView = new EditorView({ |
diff --git a/language-web/src/main/js/language/indentation.ts b/language-web/src/main/js/language/indentation.ts index 78f0a750..6d36ed3b 100644 --- a/language-web/src/main/js/language/indentation.ts +++ b/language-web/src/main/js/language/indentation.ts | |||
@@ -77,7 +77,7 @@ export function indentDeclaration(context: TreeIndentContext): number { | |||
77 | 77 | ||
78 | export function indentPredicateOrRule(context: TreeIndentContext): number { | 78 | export function indentPredicateOrRule(context: TreeIndentContext): number { |
79 | const clauseIndent = indentDeclarationStrategy(context, 1); | 79 | const clauseIndent = indentDeclarationStrategy(context, 1); |
80 | if (/^\s+(;|\.)/.exec(context.textAfter) !== null) { | 80 | if (/^\s+[;.]/.exec(context.textAfter) !== null) { |
81 | return clauseIndent - 2; | 81 | return clauseIndent - 2; |
82 | } | 82 | } |
83 | if (/^\s+(~>)/.exec(context.textAfter) !== null) { | 83 | if (/^\s+(~>)/.exec(context.textAfter) !== null) { |