From 22ee9c7f2b2e23695bf897bb709e3a5e563152e9 Mon Sep 17 00:00:00 2001
From: Jan Faracik <43062514+janfaracik@users.noreply.github.com>
Date: Fri, 18 Aug 2023 21:19:50 +0100
Subject: [PATCH 01/17] Init
---
.../jenkins/model/Jenkins/_script.jelly | 2 +-
.../resources/lib/hudson/scriptConsole.jelly | 5 +-
war/package.json | 6 +
war/src/main/js/app.js | 2 +
war/src/main/js/components/textarea/index.js | 28 +++
war/src/main/js/components/textarea/theme.js | 140 +++++++++++++++
war/src/main/scss/form/codemirror.scss | 60 -------
.../main/webapp/scripts/hudson-behavior.js | 43 -----
war/yarn.lock | 159 ++++++++++++++++++
9 files changed, 338 insertions(+), 107 deletions(-)
create mode 100644 war/src/main/js/components/textarea/index.js
create mode 100644 war/src/main/js/components/textarea/theme.js
diff --git a/core/src/main/resources/jenkins/model/Jenkins/_script.jelly b/core/src/main/resources/jenkins/model/Jenkins/_script.jelly
index 89495f20ea35..2c9acd6d982a 100644
--- a/core/src/main/resources/jenkins/model/Jenkins/_script.jelly
+++ b/core/src/main/resources/jenkins/model/Jenkins/_script.jelly
@@ -30,4 +30,4 @@ THE SOFTWARE.
println(Jenkins.instance.pluginManager.plugins)