diff options
| author |  2xsaiko | 2021-04-06 15:31:21 +0200 |
|---|---|---|
| committer |  GitHub | 2021-04-06 15:31:21 +0200 |
| commit | 847d54d1352b29605c4ee3ea27e651142141e44a (patch) | |
| tree | 38f0ee18c64ee115c365269eca357452be97826e /enigma-swing | |
| parent | Merge pull request #372 from YanisBft/copy-descriptor (diff) | |
| parent | Fix warning/error formatting in editor (diff) | |
| download | enigma-847d54d1352b29605c4ee3ea27e651142141e44a.tar.gz enigma-847d54d1352b29605c4ee3ea27e651142141e44a.tar.xz enigma-847d54d1352b29605c4ee3ea27e651142141e44a.zip | |
Merge pull request #375 from YanisBft/fix-374
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())); |