From e35b611da3c068bfea344be9a90c79fd68fac4ff Mon Sep 17 00:00:00 2001 From: Modmuss50 Date: Sun, 4 Jun 2017 16:36:21 +0100 Subject: Add support for custom themes (#59) --- src/main/java/cuchaz/enigma/gui/Gui.java | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'src/main/java/cuchaz/enigma/gui/Gui.java') 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"); -- cgit v1.2.3