diff options
| author | 2018-11-28 10:54:38 +0100 | |
|---|---|---|
| committer | 2018-11-28 10:54:38 +0100 | |
| commit | ec03792398d1b78ab5af20dbf5a2d171871396ce (patch) | |
| tree | 8df37c2e47ba719c89a623b81cf85572915f5cf7 /src/main/java/cuchaz/enigma/gui/MinecraftSyntaxKit.java | |
| parent | refactors and bugfixes (diff) | |
| download | enigma-fork-ec03792398d1b78ab5af20dbf5a2d171871396ce.tar.gz enigma-fork-ec03792398d1b78ab5af20dbf5a2d171871396ce.tar.xz enigma-fork-ec03792398d1b78ab5af20dbf5a2d171871396ce.zip | |
add line number coloring, bugfixes
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/MinecraftSyntaxKit.java')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/MinecraftSyntaxKit.java | 4 |
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 @@ | |||
| 1 | package cuchaz.enigma.gui; | 1 | package cuchaz.enigma.gui; |
| 2 | 2 | ||
| 3 | import cuchaz.enigma.config.Config; | 3 | import cuchaz.enigma.config.Config; |
| 4 | import de.sciss.syntaxpane.components.LineNumbersRuler; | ||
| 4 | import de.sciss.syntaxpane.syntaxkits.JavaSyntaxKit; | 5 | import de.sciss.syntaxpane.syntaxkits.JavaSyntaxKit; |
| 5 | import de.sciss.syntaxpane.util.Configuration; | 6 | import 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 | ||