public void actionPerformed(ActionEvent e) {
int i = pane.indexOfTabComponent(ButtonTabComponent.this);
if (i != -1) {
CodeEditor c = ((CodeEditor) pane.getComponentAt(i));
if (c.abortBecauseDirty()) {
return;
}
pane.remove(i);
}
}
