summaryrefslogtreecommitdiff
path: root/src/main/java/cuchaz/enigma/gui/MinecraftSyntaxKit.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/MinecraftSyntaxKit.java')
-rw-r--r--src/main/java/cuchaz/enigma/gui/MinecraftSyntaxKit.java4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/MinecraftSyntaxKit.java b/src/main/java/cuchaz/enigma/gui/MinecraftSyntaxKit.java
index 96327ab..d9fcee5 100644
--- a/src/main/java/cuchaz/enigma/gui/MinecraftSyntaxKit.java
+++ b/src/main/java/cuchaz/enigma/gui/MinecraftSyntaxKit.java
@@ -1,6 +1,7 @@
1package cuchaz.enigma.gui; 1package cuchaz.enigma.gui;
2 2
3import cuchaz.enigma.config.Config; 3import cuchaz.enigma.config.Config;
4import de.sciss.syntaxpane.components.LineNumbersRuler;
4import de.sciss.syntaxpane.syntaxkits.JavaSyntaxKit; 5import de.sciss.syntaxpane.syntaxkits.JavaSyntaxKit;
5import de.sciss.syntaxpane.util.Configuration; 6import de.sciss.syntaxpane.util.Configuration;
6 7
@@ -29,6 +30,9 @@ public class MinecraftSyntaxKit extends JavaSyntaxKit {
29 configuration.put("Style.TYPE2", Config.getInstance().typeColor + ", 1"); 30 configuration.put("Style.TYPE2", Config.getInstance().typeColor + ", 1");
30 configuration.put("Style.IDENTIFIER", Config.getInstance().identifierColor + ", 0"); 31 configuration.put("Style.IDENTIFIER", Config.getInstance().identifierColor + ", 0");
31 configuration.put("Style.DEFAULT", Config.getInstance().defaultTextColor + ", 0"); 32 configuration.put("Style.DEFAULT", Config.getInstance().defaultTextColor + ", 0");
33 configuration.put(LineNumbersRuler.PROPERTY_BACKGROUND, Config.getInstance().lineNumbersBackground + "");
34 configuration.put(LineNumbersRuler.PROPERTY_FOREGROUND, Config.getInstance().lineNumbersForeground + "");
35 configuration.put(LineNumbersRuler.PROPERTY_CURRENT_BACK, Config.getInstance().lineNumbersSelected + "");
32 configuration.put("RightMarginColumn", "999"); //No need to have a right margin, if someone wants it add a config 36 configuration.put("RightMarginColumn", "999"); //No need to have a right margin, if someone wants it add a config
33 } 37 }
34 38