From 94b87168466ef2904087039ac111d569d241b809 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Fri, 24 Jan 2020 12:35:40 +0000
Subject: [PATCH] in Arbeit: Bereinigung der jQuery-Anteile aus app.js usw.
---
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