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/Themes.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/config/Themes.java')
| -rw-r--r-- | src/main/java/cuchaz/enigma/config/Themes.java | 6 |
1 files changed, 2 insertions, 4 deletions
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 | } |