feat(web): use 4 space for indentation

2 files changed, 5 insertions, 2 deletions

diff --git a/language-web/src/main/js/language/indentation.ts b/language-web/src/main/js/language/indentation.ts
index b2f0134b..973b4a80 100644
--- a/language-web/src/main/js/language/indentation.ts
+++ b/language-web/src/main/js/language/indentation.ts
@@ -78,7 +78,7 @@ export function indentDeclaration(context: TreeIndentContext): number {
 export function indentPredicate(context: TreeIndentContext): number {
   const clauseIndent = indentDeclarationStrategy(context, 1);
   if (/^\s+(;|\.)/.exec(context.textAfter) !== null) {
-    return clauseIndent - context.unit;
+    return clauseIndent - 2;
   }
   return clauseIndent;
 }
diff --git a/language-web/src/main/js/language/problemLanguageSupport.ts b/language-web/src/main/js/language/problemLanguageSupport.ts
index c9e61b31..80d25d71 100644
--- a/language-web/src/main/js/language/problemLanguageSupport.ts
+++ b/language-web/src/main/js/language/problemLanguageSupport.ts
@@ -3,6 +3,7 @@ import {
   foldInside,
   foldNodeProp,
   indentNodeProp,
+  indentUnit,
   LanguageSupport,
   LRLanguage,
 } from '@codemirror/language';
@@ -79,5 +80,7 @@ const problemLanguage = LRLanguage.define({
 });
 
 export function problemLanguageSupport(): LanguageSupport {
-  return new LanguageSupport(problemLanguage);
+  return new LanguageSupport(problemLanguage, [
+    indentUnit.of('    '),
+  ]);
 }