From 6413b48bad846466999f3ba6e3235bbddeb37a3e Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Sat, 28 Dec 2019 19:23:37 +0000
Subject: [PATCH] Zeilenumbruch im Texteditor eingeschaltet
---
web/ui/ui.js | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/web/ui/ui.js b/web/ui/ui.js
index 2124a3b..556b455 100644
--- a/web/ui/ui.js
+++ b/web/ui/ui.js
@@ -750,6 +750,7 @@
function fm_code_edit(content, m) {
cm = CodeMirror.fromTextArea(document.getElementById("editspace"), {
lineNumbers: true,
+ lineWrapping: true,
gutters: ["CodeMirror-linenumbers", "breakpoints"],
mode: m,
viewportMargin : Infinity,
--
Gitblit v1.9.3