private class TabIndexListener implements ChangeListener {
@Override
public void stateChanged(ChangeEvent ce) {
int index = tabbedPane.getSelectedIndex();
if (index > -1) {
DcPanel panel = (DcPanel) tabbedPane.getComponent(index);
setHelpIndex(panel.getHelpIndex());
if (panel instanceof View)
((View) panel).applyViewDividerLocation();
}
}