From 2a7ef328d949b773f1d0d1e52b3c364a9b310dcf Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Sun, 3 Jan 2021 22:45:44 +0100
Subject: [PATCH] improve language name in color settings
---
.../org/jastadd/tooling/RelAstGrammarColorSettingsPage.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/org/jastadd/tooling/RelAstGrammarColorSettingsPage.java b/src/main/java/org/jastadd/tooling/RelAstGrammarColorSettingsPage.java
index 1a61eb2..3300b1e 100644
--- a/src/main/java/org/jastadd/tooling/RelAstGrammarColorSettingsPage.java
+++ b/src/main/java/org/jastadd/tooling/RelAstGrammarColorSettingsPage.java
@@ -81,7 +81,7 @@ public class RelAstGrammarColorSettingsPage implements ColorSettingsPage {
@NotNull
@Override
public String getDisplayName() {
- return "RelAstGrammar";
+ return "RelAst Grammar";
}
}
--
GitLab