Add support for custom themes (#59)

1 files changed, 5 insertions, 4 deletions

diff --git a/src/main/java/cuchaz/enigma/gui/Gui.java b/src/main/java/cuchaz/enigma/gui/Gui.java
index 77065a9..86c97aa 100644
--- a/src/main/java/cuchaz/enigma/gui/Gui.java
+++ b/src/main/java/cuchaz/enigma/gui/Gui.java
@@ -15,6 +15,7 @@ import com.google.common.collect.Lists;
 import cuchaz.enigma.Constants;
 import cuchaz.enigma.ExceptionIgnorer;
 import cuchaz.enigma.analysis.*;
+import cuchaz.enigma.config.Config;
 import cuchaz.enigma.gui.dialog.CrashDialog;
 import cuchaz.enigma.gui.elements.MenuBar;
 import cuchaz.enigma.gui.elements.PopupMenuBar;
@@ -47,10 +48,8 @@ import java.awt.*;
 import java.awt.event.*;
 import java.io.File;
 import java.io.IOException;
-import java.util.Collection;
-import java.util.Collections;
+import java.util.*;
 import java.util.List;
-import java.util.Vector;
 import java.util.function.Function;
 
 public class Gui {
@@ -127,13 +126,15 @@ public class Gui {
 
                 // init editor
                 DefaultSyntaxKit.initKit();
+                DefaultSyntaxKit.registerContentType("text/minecraft", MinecraftSyntaxKit.class.getName());
                 obfuscatedHighlightPainter = new ObfuscatedHighlightPainter();
                 deobfuscatedHighlightPainter = new DeobfuscatedHighlightPainter();
                 otherHighlightPainter = new OtherHighlightPainter();
                 selectionHighlightPainter = new SelectionHighlightPainter();
                 this.editor = new PanelEditor(this);
                 JScrollPane sourceScroller = new JScrollPane(this.editor);
-                this.editor.setContentType("text/java");
+                this.editor.setContentType("text/minecraft");
+                this.editor.setBackground(new Color(Config.INSTANCE.editorBackground));
                 DefaultSyntaxKit kit = (DefaultSyntaxKit) this.editor.getEditorKit();
                 kit.toggleComponent(this.editor, "de.sciss.syntaxpane.components.TokenMarker");