summaryrefslogtreecommitdiff
path: root/src/main/java/cuchaz/enigma/config/Themes.java
diff options
context:
space:
mode:
authorGravatar asie2018-11-28 10:54:38 +0100
committerGravatar asie2018-11-28 10:54:38 +0100
commitec03792398d1b78ab5af20dbf5a2d171871396ce (patch)
tree8df37c2e47ba719c89a623b81cf85572915f5cf7 /src/main/java/cuchaz/enigma/config/Themes.java
parentrefactors and bugfixes (diff)
downloadenigma-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.java6
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}