summaryrefslogtreecommitdiff
path: root/enigma-swing/src
diff options
context:
space:
mode:
authorGravatar 2xsaiko2020-06-07 17:13:50 +0200
committerGravatar 2xsaiko2020-06-07 17:13:50 +0200
commitbc0858f4f6256e41250a2bf0998b20611a951575 (patch)
tree273e8c4c36d969ef2f7200bc3151c59800243a91 /enigma-swing/src
parentUse MacOS menu bar style (#255) (diff)
downloadenigma-bc0858f4f6256e41250a2bf0998b20611a951575.tar.gz
enigma-bc0858f4f6256e41250a2bf0998b20611a951575.tar.xz
enigma-bc0858f4f6256e41250a2bf0998b20611a951575.zip
Fix yet another navigateToToken crash
Diffstat (limited to 'enigma-swing/src')
-rw-r--r--enigma-swing/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java6
1 files changed, 5 insertions, 1 deletions
diff --git a/enigma-swing/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java b/enigma-swing/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
index dd9971a7..a45ecc93 100644
--- a/enigma-swing/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
+++ b/enigma-swing/src/main/java/cuchaz/enigma/gui/panels/PanelEditor.java
@@ -14,6 +14,8 @@ import javax.swing.text.Document;
14import javax.swing.text.Highlighter; 14import javax.swing.text.Highlighter;
15import javax.swing.text.Highlighter.HighlightPainter; 15import javax.swing.text.Highlighter.HighlightPainter;
16 16
17import de.sciss.syntaxpane.DefaultSyntaxKit;
18
17import cuchaz.enigma.EnigmaProject; 19import cuchaz.enigma.EnigmaProject;
18import cuchaz.enigma.analysis.EntryReference; 20import cuchaz.enigma.analysis.EntryReference;
19import cuchaz.enigma.classhandle.ClassHandle; 21import cuchaz.enigma.classhandle.ClassHandle;
@@ -42,7 +44,6 @@ import cuchaz.enigma.translation.representation.entry.FieldEntry;
42import cuchaz.enigma.translation.representation.entry.MethodEntry; 44import cuchaz.enigma.translation.representation.entry.MethodEntry;
43import cuchaz.enigma.utils.I18n; 45import cuchaz.enigma.utils.I18n;
44import cuchaz.enigma.utils.Result; 46import cuchaz.enigma.utils.Result;
45import de.sciss.syntaxpane.DefaultSyntaxKit;
46 47
47public class PanelEditor { 48public class PanelEditor {
48 49
@@ -574,6 +575,9 @@ public class PanelEditor {
574 // make sure the token is visible in the scroll window 575 // make sure the token is visible in the scroll window
575 Rectangle start = this.editor.modelToView(token.start); 576 Rectangle start = this.editor.modelToView(token.start);
576 Rectangle end = this.editor.modelToView(token.end); 577 Rectangle end = this.editor.modelToView(token.end);
578 if (start == null || end == null) {
579 return;
580 }
577 Rectangle show = start.union(end); 581 Rectangle show = start.union(end);
578 show.grow(start.width * 10, start.height * 6); 582 show.grow(start.width * 10, start.height * 6);
579 SwingUtilities.invokeLater(() -> this.editor.scrollRectToVisible(show)); 583 SwingUtilities.invokeLater(() -> this.editor.scrollRectToVisible(show));