From ea5e9adf07d8d5ff8a4ca745cb9954cca46cf7ff Mon Sep 17 00:00:00 2001
From: Matthias Bodenbenner <m.bodenbenner@wzl-mq.rwth-aachen.de>
Date: Thu, 27 Jun 2024 16:37:27 +0200
Subject: [PATCH] Updated Syntax highlighting fpr "List"
---
src/app/Layout/Navigation/NavigationBar.tsx | 2 +-
src/features/soil-editor/SoilTextEditor/SoilHighlight.ts | 3 +++
src/features/soil-editor/SoilTextEditor/styles.css | 6 ++++--
3 files changed, 8 insertions(+), 3 deletions(-)
diff --git a/src/app/Layout/Navigation/NavigationBar.tsx b/src/app/Layout/Navigation/NavigationBar.tsx
index fd2d33d..c0c6258 100644
--- a/src/app/Layout/Navigation/NavigationBar.tsx
+++ b/src/app/Layout/Navigation/NavigationBar.tsx
@@ -35,7 +35,7 @@ const NavigationBar = (): JSX.Element => {
<Button startIcon={<PublicIcon></PublicIcon>} component={Link} color={'inherit'} to={'/public'} disabled={true}>
Public Models
</Button>
- <Button startIcon={<LockOpenIcon></LockOpenIcon>} component={Link} color={'inherit'} to={'/private'} disabled={true}>
+ <Button startIcon={<LockOpenIcon></LockOpenIcon>} component={Link} color={'inherit'} to={'/private'}>
Private Models
</Button>
{/* Spacer for alignment */}
diff --git a/src/features/soil-editor/SoilTextEditor/SoilHighlight.ts b/src/features/soil-editor/SoilTextEditor/SoilHighlight.ts
index 0344ff5..9a6afb9 100644
--- a/src/features/soil-editor/SoilTextEditor/SoilHighlight.ts
+++ b/src/features/soil-editor/SoilTextEditor/SoilHighlight.ts
@@ -39,6 +39,9 @@ export const soilHighlight = {
"event": {
pattern: /\b(critical|debug|error|if|info|warning)\b/
},
+ "list": {
+ pattern: /\bList\b/
+ },
"warning": {
pattern: /<Element Not Found>/
},
diff --git a/src/features/soil-editor/SoilTextEditor/styles.css b/src/features/soil-editor/SoilTextEditor/styles.css
index de66e22..b4d7b1f 100644
--- a/src/features/soil-editor/SoilTextEditor/styles.css
+++ b/src/features/soil-editor/SoilTextEditor/styles.css
@@ -128,11 +128,13 @@ body {
color: #A8859E
}
-.light-theme .token.event {
+.light-theme .token.event,
+.light-theme .token.list {
color: #E30066
}
-.dark-theme .token.event {
+.dark-theme .token.event,
+.dark-theme .token.list {
color: #F19EB1
}
--
GitLab