diff options
| author |  Yanis48 | 2021-04-03 18:22:46 +0200 |
|---|---|---|
| committer | Yanis48 | 2021-04-03 18:22:46 +0200 |
| commit | f69f95b427e49cf4c660ab8889b30304ab116698 (patch) | |
| tree | a1049f4df90d92ffd17c6a55f5890dfeb56ff049 /enigma-swing | |
| parent | Bump version (diff) | |
| download | enigma-f69f95b427e49cf4c660ab8889b30304ab116698.tar.gz enigma-f69f95b427e49cf4c660ab8889b30304ab116698.tar.xz enigma-f69f95b427e49cf4c660ab8889b30304ab116698.zip | |
Fix warning/error formatting in editor
Diffstat (limited to 'enigma-swing')
| -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())); |