this.comTabIdAndShortFileName.put(tabId, shortFileName);
this.comTabIdAndFullFileName.put(tabId, fullFileName);
this.comTabIdAndTab.put(tabId, this.tabs.getTabCount() - 1);
this.comTabIdAndTextComponent.put(tabId, textComponent);
// add close button
this.tabs.setTabComponentAt(this.tabs.getTabCount() - 1, new SimpleTabWithCloseButton(tabs, new ActionListener() {
public void actionPerformed(ActionEvent e) {
int tabIndex = Desktop.this.tabs.indexOfTabComponent((SimpleTabWithCloseButton)e.getSource());
localCloseTab(tabIndex);
}
}));