Insert indent to next tab stop

MiniZinc · Oct 22, 2024 · d277fc3 · d277fc3
1 parent b002154
commit d277fc3
Showing 1 changed file with 9 additions and 4 deletions.
diff --git a/src/lang/index.js b/src/lang/index.js
@@ -176,11 +176,16 @@ export function getExtensions(suffix, codeCheck, darkMode, readOnly = false) {
                     if (state.selection.ranges.some((r) => !r.empty)) {
                         return indentMore({ state, dispatch });
                     }
+                    const pos = state.selection.main.from;
+                    const col = pos - state.doc.lineAt(pos).from;
                     dispatch(
-                        state.update(state.replaceSelection('  '), {
-                            scrollIntoView: true,
-                            userEvent: 'input',
-                        }),
+                        state.update(
+                            state.replaceSelection(col % 2 === 0 ? '  ' : ' '),
+                            {
+                                scrollIntoView: true,
+                                userEvent: 'input',
+                            },
+                        ),
                     );
                     return true;
                 },