diff options
Diffstat (limited to 'enigma-swing/src/main/java')
| -rw-r--r-- | enigma-swing/src/main/java/cuchaz/enigma/gui/EnigmaSyntaxKit.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/enigma-swing/src/main/java/cuchaz/enigma/gui/EnigmaSyntaxKit.java b/enigma-swing/src/main/java/cuchaz/enigma/gui/EnigmaSyntaxKit.java index 115dfb4a..43745dd9 100644 --- a/enigma-swing/src/main/java/cuchaz/enigma/gui/EnigmaSyntaxKit.java +++ b/enigma-swing/src/main/java/cuchaz/enigma/gui/EnigmaSyntaxKit.java | |||
| @@ -48,6 +48,8 @@ public class EnigmaSyntaxKit extends JavaSyntaxKit { | |||
| 48 | configuration.put("Style.TYPE2", String.format("%d, 1", UiConfig.getTypeColor().getRGB())); | 48 | configuration.put("Style.TYPE2", String.format("%d, 1", UiConfig.getTypeColor().getRGB())); |
| 49 | configuration.put("Style.IDENTIFIER", String.format("%d, 0", UiConfig.getIdentifierColor().getRGB())); | 49 | configuration.put("Style.IDENTIFIER", String.format("%d, 0", UiConfig.getIdentifierColor().getRGB())); |
| 50 | configuration.put("Style.DEFAULT", String.format("%d, 0", UiConfig.getTextColor().getRGB())); | 50 | configuration.put("Style.DEFAULT", String.format("%d, 0", UiConfig.getTextColor().getRGB())); |
| 51 | configuration.put("Style.WARNING", String.format("%d, 0", UiConfig.getTextColor().getRGB())); | ||
| 52 | configuration.put("Style.ERROR", String.format("%d, 0", UiConfig.getTextColor().getRGB())); | ||
| 51 | configuration.put(LineNumbersRuler.PROPERTY_BACKGROUND, String.format("%d", UiConfig.getLineNumbersBackgroundColor().getRGB())); | 53 | configuration.put(LineNumbersRuler.PROPERTY_BACKGROUND, String.format("%d", UiConfig.getLineNumbersBackgroundColor().getRGB())); |
| 52 | configuration.put(LineNumbersRuler.PROPERTY_FOREGROUND, String.format("%d", UiConfig.getLineNumbersForegroundColor().getRGB())); | 54 | configuration.put(LineNumbersRuler.PROPERTY_FOREGROUND, String.format("%d", UiConfig.getLineNumbersForegroundColor().getRGB())); |
| 53 | configuration.put(LineNumbersRuler.PROPERTY_CURRENT_BACK, String.format("%d", UiConfig.getLineNumbersSelectedColor().getRGB())); | 55 | configuration.put(LineNumbersRuler.PROPERTY_CURRENT_BACK, String.format("%d", UiConfig.getLineNumbersSelectedColor().getRGB())); |