diff options
| author |  Glassmaker | 2016-10-18 19:21:06 +0300 |
|---|---|---|
| committer |  Thomas Guillemard | 2016-10-18 18:21:06 +0200 |
| commit | a917a5de39f8002ef127aca4c610738f1f1ebfba (patch) | |
| tree | 348f369169bb6c8139ee74554d31d5ffb5202b75 /src/main/java/cuchaz/enigma/gui/Gui.java | |
| parent | Remove Nullable usage and add null check in equals (diff) | |
| download | enigma-fork-a917a5de39f8002ef127aca4c610738f1f1ebfba.tar.gz enigma-fork-a917a5de39f8002ef127aca4c610738f1f1ebfba.tar.xz enigma-fork-a917a5de39f8002ef127aca4c610738f1f1ebfba.zip | |
Fixes execution order for line number ruler (Close #39)
Diffstat (limited to 'src/main/java/cuchaz/enigma/gui/Gui.java')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/Gui.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/Gui.java b/src/main/java/cuchaz/enigma/gui/Gui.java index a81ad06..d3f7406 100644 --- a/src/main/java/cuchaz/enigma/gui/Gui.java +++ b/src/main/java/cuchaz/enigma/gui/Gui.java | |||
| @@ -136,6 +136,9 @@ public class Gui { | |||
| 136 | m_selectionHighlightPainter = new SelectionHighlightPainter(); | 136 | m_selectionHighlightPainter = new SelectionHighlightPainter(); |
| 137 | this.editor = new PanelEditor(this); | 137 | this.editor = new PanelEditor(this); |
| 138 | JScrollPane sourceScroller = new JScrollPane(this.editor); | 138 | JScrollPane sourceScroller = new JScrollPane(this.editor); |
| 139 | this.editor.setContentType("text/java"); | ||
| 140 | DefaultSyntaxKit kit = (DefaultSyntaxKit) this.editor.getEditorKit(); | ||
| 141 | kit.toggleComponent(this.editor, "de.sciss.syntaxpane.components.TokenMarker"); | ||
| 139 | 142 | ||
| 140 | // init editor popup menu | 143 | // init editor popup menu |
| 141 | this.popupMenu = new PopupMenuBar(this); | 144 | this.popupMenu = new PopupMenuBar(this); |