JComponent tab = which_tab(state);
if (tab != cur_tab) {
+ System.out.printf("checking tab for state %s\n", AltosLib.state_name(state.state()));
if (cur_tab == pane.getSelectedComponent()) {
+ System.out.printf("switch tabs\n");
pane.setSelectedComponent(tab);
}
cur_tab = tab;