Fixed scrolling on enter

Make editor always consume 100% height
Cleaned-up some comments

frontend/src/components/GShootEditor.vue

@@ -291,4 +291,8 @@ onBeforeUnmount(() => {
     }
   }
 
+  .cm-editor {
+    height: 100%;
+  }
+
 </style>

frontend/src/composables/useEditorLineHighlighter.js

@@ -48,12 +48,12 @@ export function useEditorLineHighlighter (cmView) {
       return valuesFromParams()
     },
     set (values = []) {
-      const valuesOld = valuesFromParams()
+      const valuesCurrent = valuesFromParams()
 
       let [startLine, endLine = startLine] = values
-      const [startLineOld, endLineOld] = valuesOld
+      const [startLineCurrent, endLineCurrent] = valuesCurrent
 
-      if (endLine === startLine && startLine === startLineOld && !endLineOld) {
+      if (endLine === startLine && startLine === startLineCurrent && !endLineCurrent) {
         startLine = null
       }
 

frontend/src/composables/useEditorWhitespace.js

@@ -12,9 +12,8 @@ import {
 } from '@codemirror/view'
 
 export function useEditorWhitespace () {
-  // Match leading spaces or tabs (modify the regexp as necessary for tabs or spaces)
   const matchDecorator = new MatchDecorator({
-    regexp: /[ \t]/g, // Match each individual space or tab character
+    regexp: /[ \t]/g,
     decoration: match => {
       if (match[0] === '\t') {
         return Decoration.mark({
@@ -37,17 +36,15 @@ export function useEditorWhitespace () {
     }
   }
 
-  // Create decorations for newlines at the end of each line
   function addNewlineMarkers (view) {
     const widgets = []
     for (const { from, to } of view.visibleRanges) {
       for (let pos = from; pos <= to;) {
         const line = view.state.doc.lineAt(pos)
-        // Only add a marker if not the last line (as there is no newline after the last line)
         if (line.to < view.state.doc.length) {
           widgets.push(Decoration.widget({
             widget: new NewlineWidget(),
-            side: 1, // Ensure the widget is placed after the line text
+            side: 1,
           }).range(line.to))
         }
         pos = line.to + 1
@@ -56,7 +53,6 @@ export function useEditorWhitespace () {
     return Decoration.set(widgets, true)
   }
 
-  // Define the view plugin for showing the whitespace
   const showAllWhitespace = ViewPlugin.define(
     view => ({
       decorations: matchDecorator.createDeco(view),

frontend/src/composables/useShootEditor/helper.js

@@ -372,6 +372,7 @@ export class EditorCompletions {
     cmView.dispatch({
       changes: { from: selection.from, to: selection.to, insert: replacementText },
       selection: { anchor: newCursorPosition },
+      effects: EditorView.scrollIntoView(newCursorPosition),
     })
   }
 }