public void previousTab() {
int t = tabbedPane.getSelectedIndex();
if (t == 0) {
t = tabbedPane.getTabCount() - 1;
} else {
t--;
}
tabbedPane.setSelectedIndex(t);
}
public void nextTab() {
int t = tabbedPane.getSelectedIndex();
t = (t + 1) % tabbedPane.getTabCount();
tabbedPane.setSelectedIndex(t);
}
public void setCurrentFile(File file) {
currentTab().setFile(file);
if (file != null) {
tabbedPane.setToolTipTextAt(tabbedPane.getSelectedIndex(), file.getAbsolutePath());
}
}
