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/config | |
| 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/config')
| -rw-r--r-- | src/main/java/cuchaz/enigma/config/Config.java | 12 | ||||
| -rw-r--r-- | src/main/java/cuchaz/enigma/config/Themes.java | 6 |
2 files changed, 13 insertions, 5 deletions
diff --git a/src/main/java/cuchaz/enigma/config/Config.java b/src/main/java/cuchaz/enigma/config/Config.java index 034d077..8c16c47 100644 --- a/src/main/java/cuchaz/enigma/config/Config.java +++ b/src/main/java/cuchaz/enigma/config/Config.java | |||
| @@ -12,7 +12,7 @@ import java.lang.reflect.Type; | |||
| 12 | import java.nio.charset.Charset; | 12 | import java.nio.charset.Charset; |
| 13 | 13 | ||
| 14 | public class Config { | 14 | public class Config { |
| 15 | public enum LookAndFeel { | 15 | public enum LookAndFeel { |
| 16 | DEFAULT("Default"), | 16 | DEFAULT("Default"), |
| 17 | DARCULA("Dank"); | 17 | DARCULA("Dank"); |
| 18 | 18 | ||
| @@ -44,6 +44,9 @@ public class Config { | |||
| 44 | public void apply(Config config) { | 44 | public void apply(Config config) { |
| 45 | switch (this) { | 45 | switch (this) { |
| 46 | case DEFAULT: | 46 | case DEFAULT: |
| 47 | config.lineNumbersForeground = 0x333300; | ||
| 48 | config.lineNumbersBackground = 0xEEEEFF; | ||
| 49 | config.lineNumbersSelected = 0xCCCCEE; | ||
| 47 | config.obfuscatedColor = 0xFFDCDC; | 50 | config.obfuscatedColor = 0xFFDCDC; |
| 48 | config.obfuscatedHiglightAlpha = 1.0F; | 51 | config.obfuscatedHiglightAlpha = 1.0F; |
| 49 | config.obfuscatedColorOutline = 0xA05050; | 52 | config.obfuscatedColorOutline = 0xA05050; |
| @@ -66,6 +69,9 @@ public class Config { | |||
| 66 | break; | 69 | break; |
| 67 | case DARCULA: | 70 | case DARCULA: |
| 68 | //Based off colors found here: https://github.com/dracula/dracula-theme/ | 71 | //Based off colors found here: https://github.com/dracula/dracula-theme/ |
| 72 | config.lineNumbersForeground = 0xA4A4A3; | ||
| 73 | config.lineNumbersBackground = 0x313335; | ||
| 74 | config.lineNumbersSelected = 0x606366; | ||
| 69 | config.obfuscatedColor = 0xFF5555; | 75 | config.obfuscatedColor = 0xFF5555; |
| 70 | config.obfuscatedHiglightAlpha = 0.3F; | 76 | config.obfuscatedHiglightAlpha = 0.3F; |
| 71 | config.obfuscatedColorOutline = 0xFF5555; | 77 | config.obfuscatedColorOutline = 0xFF5555; |
| @@ -120,6 +126,10 @@ public class Config { | |||
| 120 | public Integer identifierColor; | 126 | public Integer identifierColor; |
| 121 | public Integer defaultTextColor; | 127 | public Integer defaultTextColor; |
| 122 | 128 | ||
| 129 | public Integer lineNumbersBackground; | ||
| 130 | public Integer lineNumbersSelected; | ||
| 131 | public Integer lineNumbersForeground; | ||
| 132 | |||
| 123 | public LookAndFeel lookAndFeel = LookAndFeel.DEFAULT; | 133 | public LookAndFeel lookAndFeel = LookAndFeel.DEFAULT; |
| 124 | 134 | ||
| 125 | private Config() { | 135 | private Config() { |
diff --git a/src/main/java/cuchaz/enigma/config/Themes.java b/src/main/java/cuchaz/enigma/config/Themes.java index b3132f2..8a4c341 100644 --- a/src/main/java/cuchaz/enigma/config/Themes.java +++ b/src/main/java/cuchaz/enigma/config/Themes.java | |||
| @@ -33,9 +33,7 @@ public class Themes { | |||
| 33 | gui.obfuscatedHighlightPainter = new ObfuscatedHighlightPainter(); | 33 | gui.obfuscatedHighlightPainter = new ObfuscatedHighlightPainter(); |
| 34 | gui.deobfuscatedHighlightPainter = new DeobfuscatedHighlightPainter(); | 34 | gui.deobfuscatedHighlightPainter = new DeobfuscatedHighlightPainter(); |
| 35 | gui.otherHighlightPainter = new OtherHighlightPainter(); | 35 | gui.otherHighlightPainter = new OtherHighlightPainter(); |
| 36 | gui.editor.updateUI(); | 36 | gui.setEditorTheme(Config.getInstance().lookAndFeel); |
| 37 | gui.editor.setBackground(new Color(Config.getInstance().editorBackground)); | 37 | SwingUtilities.updateComponentTreeUI(gui.getFrame()); |
| 38 | SwingUtilities.updateComponentTreeUI(gui.getFrame()); | ||
| 39 | gui.getController().refreshCurrentClass(); | ||
| 40 | } | 38 | } |
| 41 | } | 39 | } |