From 7ee5f7530e6d7120750811376834bdcacd9ca0d4 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 31 Oct 2021 19:53:54 +0100 Subject: chore: fix Sonar warnings --- language-web/src/main/js/editor/EditorArea.tsx | 5 +++-- language-web/src/main/js/language/indentation.ts | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) (limited to 'language-web') 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(() => { useEffect(() => { if (editorParentRef.current === null) { - // Nothing to clean up. - return () => {}; + return () => { + // Nothing to clean up. + }; } 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 { export function indentPredicateOrRule(context: TreeIndentContext): number { const clauseIndent = indentDeclarationStrategy(context, 1); - if (/^\s+(;|\.)/.exec(context.textAfter) !== null) { + if (/^\s+[;.]/.exec(context.textAfter) !== null) { return clauseIndent - 2; } if (/^\s+(~>)/.exec(context.textAfter) !== null) { -- cgit v1.2.3-54-g00ecf