fix(gui): reset selected tab on last tabs closed
This commit is contained in:
@@ -158,9 +158,6 @@ public class JadxProject {
|
||||
.map(TabStateViewAdapter::build)
|
||||
.filter(Objects::nonNull)
|
||||
.collect(Collectors.toList());
|
||||
if (tabStateList.isEmpty()) {
|
||||
return;
|
||||
}
|
||||
if (data.setOpenTabs(tabStateList)) {
|
||||
changed();
|
||||
}
|
||||
|
||||
@@ -455,6 +455,9 @@ public class TabbedPane extends JTabbedPane implements ITabStatesListener {
|
||||
} else if (removalIdx == 0) { // select right tab
|
||||
setSelectedIndex(removalIdx + 1);
|
||||
}
|
||||
} else {
|
||||
// no other tabs => inform controller to reset selection
|
||||
controller.deselectTab();
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -107,6 +107,10 @@ public class TabsController {
|
||||
listeners.forEach(l -> l.onTabSelect(selectedTab));
|
||||
}
|
||||
|
||||
public void deselectTab() {
|
||||
selectedTab = null;
|
||||
}
|
||||
|
||||
/**
|
||||
* Jump to node definition
|
||||
*/
|
||||
|
||||
Reference in New Issue
Block a user