diff options
| author | 2016-10-18 19:21:06 +0300 | |
|---|---|---|
| committer | 2016-10-18 18:21:06 +0200 | |
| commit | a917a5de39f8002ef127aca4c610738f1f1ebfba (patch) | |
| tree | 348f369169bb6c8139ee74554d31d5ffb5202b75 /src/main/java/cuchaz/enigma/gui/panels | |
| 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/panels')
| -rw-r--r-- | src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java index cf3c4e9..914952b 100644 --- a/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java +++ b/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java | |||
| @@ -10,7 +10,6 @@ import javax.swing.JEditorPane; | |||
| 10 | 10 | ||
| 11 | import cuchaz.enigma.gui.BrowserCaret; | 11 | import cuchaz.enigma.gui.BrowserCaret; |
| 12 | import cuchaz.enigma.gui.Gui; | 12 | import cuchaz.enigma.gui.Gui; |
| 13 | import de.sciss.syntaxpane.DefaultSyntaxKit; | ||
| 14 | 13 | ||
| 15 | public class PanelEditor extends JEditorPane { | 14 | public class PanelEditor extends JEditorPane { |
| 16 | private final Gui gui; | 15 | private final Gui gui; |
| @@ -21,7 +20,6 @@ public class PanelEditor extends JEditorPane { | |||
| 21 | this.setEditable(false); | 20 | this.setEditable(false); |
| 22 | this.setSelectionColor(new Color(31, 46, 90)); | 21 | this.setSelectionColor(new Color(31, 46, 90)); |
| 23 | this.setCaret(new BrowserCaret()); | 22 | this.setCaret(new BrowserCaret()); |
| 24 | this.setContentType("text/java"); | ||
| 25 | this.addCaretListener(event -> gui.onCaretMove(event.getDot())); | 23 | this.addCaretListener(event -> gui.onCaretMove(event.getDot())); |
| 26 | final PanelEditor self = this; | 24 | final PanelEditor self = this; |
| 27 | this.addMouseListener(new MouseAdapter() | 25 | this.addMouseListener(new MouseAdapter() |
| @@ -71,8 +69,5 @@ public class PanelEditor extends JEditorPane { | |||
| 71 | } | 69 | } |
| 72 | } | 70 | } |
| 73 | }); | 71 | }); |
| 74 | |||
| 75 | DefaultSyntaxKit kit = (DefaultSyntaxKit) this.getEditorKit(); | ||
| 76 | kit.toggleComponent(this, "de.sciss.syntaxpane.components.TokenMarker"); | ||
| 77 | } | 72 | } |
| 78 | } | 73 | } |