From 3bff129f6357395c7eac33fd7d439f68242fa281 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christoph=20Kn=C3=B6dlseder?=
 <53149143+chrisknedl@users.noreply.github.com>
Date: Fri, 8 Nov 2024 00:25:45 +0100
Subject: [PATCH] Programming exercises: Decrease space between lines in the
 code editor (#9669)

---
 .../webapp/app/shared/monaco-editor/monaco-editor.service.ts    | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main/webapp/app/shared/monaco-editor/monaco-editor.service.ts b/src/main/webapp/app/shared/monaco-editor/monaco-editor.service.ts
index c83734732223..5bbb04e440fc 100644
--- a/src/main/webapp/app/shared/monaco-editor/monaco-editor.service.ts
+++ b/src/main/webapp/app/shared/monaco-editor/monaco-editor.service.ts
@@ -62,6 +62,7 @@ export class MonacoEditorService {
             minimap: { enabled: false },
             lineNumbersMinChars: 4,
             scrollBeyondLastLine: false,
+            lineHeight: 16,
             scrollbar: {
                 alwaysConsumeMouseWheel: false, // Prevents the editor from consuming the mouse wheel event, allowing the parent element to scroll.
             },
@@ -82,6 +83,7 @@ export class MonacoEditorService {
             readOnly: true,
             renderSideBySide: true,
             scrollBeyondLastLine: false,
+            lineHeight: 16,
             stickyScroll: {
                 enabled: false,
             },