diff options
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/Gui.java')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/Gui.java | 9 |
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; | |||
| 15 | import cuchaz.enigma.Constants; | 15 | import cuchaz.enigma.Constants; |
| 16 | import cuchaz.enigma.ExceptionIgnorer; | 16 | import cuchaz.enigma.ExceptionIgnorer; |
| 17 | import cuchaz.enigma.analysis.*; | 17 | import cuchaz.enigma.analysis.*; |
| 18 | import cuchaz.enigma.config.Config; | ||
| 18 | import cuchaz.enigma.gui.dialog.CrashDialog; | 19 | import cuchaz.enigma.gui.dialog.CrashDialog; |
| 19 | import cuchaz.enigma.gui.elements.MenuBar; | 20 | import cuchaz.enigma.gui.elements.MenuBar; |
| 20 | import cuchaz.enigma.gui.elements.PopupMenuBar; | 21 | import cuchaz.enigma.gui.elements.PopupMenuBar; |
| @@ -47,10 +48,8 @@ import java.awt.*; | |||
| 47 | import java.awt.event.*; | 48 | import java.awt.event.*; |
| 48 | import java.io.File; | 49 | import java.io.File; |
| 49 | import java.io.IOException; | 50 | import java.io.IOException; |
| 50 | import java.util.Collection; | 51 | import java.util.*; |
| 51 | import java.util.Collections; | ||
| 52 | import java.util.List; | 52 | import java.util.List; |
| 53 | import java.util.Vector; | ||
| 54 | import java.util.function.Function; | 53 | import java.util.function.Function; |
| 55 | 54 | ||
| 56 | public class Gui { | 55 | public class Gui { |
| @@ -127,13 +126,15 @@ public class Gui { | |||
| 127 | 126 | ||
| 128 | // init editor | 127 | // init editor |
| 129 | DefaultSyntaxKit.initKit(); | 128 | DefaultSyntaxKit.initKit(); |
| 129 | DefaultSyntaxKit.registerContentType("text/minecraft", MinecraftSyntaxKit.class.getName()); | ||
| 130 | obfuscatedHighlightPainter = new ObfuscatedHighlightPainter(); | 130 | obfuscatedHighlightPainter = new ObfuscatedHighlightPainter(); |
| 131 | deobfuscatedHighlightPainter = new DeobfuscatedHighlightPainter(); | 131 | deobfuscatedHighlightPainter = new DeobfuscatedHighlightPainter(); |
| 132 | otherHighlightPainter = new OtherHighlightPainter(); | 132 | otherHighlightPainter = new OtherHighlightPainter(); |
| 133 | selectionHighlightPainter = new SelectionHighlightPainter(); | 133 | selectionHighlightPainter = new SelectionHighlightPainter(); |
| 134 | this.editor = new PanelEditor(this); | 134 | this.editor = new PanelEditor(this); |
| 135 | JScrollPane sourceScroller = new JScrollPane(this.editor); | 135 | JScrollPane sourceScroller = new JScrollPane(this.editor); |
| 136 | this.editor.setContentType("text/java"); | 136 | this.editor.setContentType("text/minecraft"); |
| 137 | this.editor.setBackground(new Color(Config.INSTANCE.editorBackground)); | ||
| 137 | DefaultSyntaxKit kit = (DefaultSyntaxKit) this.editor.getEditorKit(); | 138 | DefaultSyntaxKit kit = (DefaultSyntaxKit) this.editor.getEditorKit(); |
| 138 | kit.toggleComponent(this.editor, "de.sciss.syntaxpane.components.TokenMarker"); | 139 | kit.toggleComponent(this.editor, "de.sciss.syntaxpane.components.TokenMarker"); |
| 139 | 140 | ||