fix(gui): back button was defect since #653

This commit is contained in:
Jan S
2019-05-15 15:23:35 +02:00
committed by skylot
parent 31a02a70a0
commit 1c914ff286
@@ -117,8 +117,8 @@ public class TabbedPane extends JTabbedPane {
@Nullable
private JumpPosition getCurrentPosition() {
ContentPanel selectedCodePanel = getSelectedCodePanel();
if (selectedCodePanel instanceof CodeContentPanel) {
return ((CodeContentPanel) selectedCodePanel).getCodeArea().getCurrentPosition();
if (selectedCodePanel instanceof AbstractCodeContentPanel) {
return ((AbstractCodeContentPanel) selectedCodePanel).getCodeArea().getCurrentPosition();
}
return null;
}