fix(gui): clear jumps history on file close
This commit is contained in:
@@ -512,7 +512,7 @@ public class MainWindow extends JFrame {
|
||||
}
|
||||
|
||||
private void clearTree() {
|
||||
tabbedPane.closeAllTabs();
|
||||
tabbedPane.reset();
|
||||
resetCache();
|
||||
treeRoot = null;
|
||||
treeModel.setRoot(null);
|
||||
|
||||
@@ -214,4 +214,10 @@ public class TabbedPane extends JTabbedPane {
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
public void reset() {
|
||||
closeAllTabs();
|
||||
openTabs.clear();
|
||||
jumps.reset();
|
||||
}
|
||||
}
|
||||
|
||||
@@ -87,4 +87,8 @@ public class JumpManager {
|
||||
currentPos = newPos;
|
||||
return position;
|
||||
}
|
||||
|
||||
public void reset() {
|
||||
list.clear();
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user