Swing/TabbedPane のバックアップの現在との差分(No.20)

#spandel
private final JPopupMenu pop = new JPopupMenu() {
#spanend
#spanadd
JPopupMenu popup = new JPopupMenu() {
#spanend
  @Override public void show(Component c, int x, int y) {
    //JDK 1.3 tabindex = tab.getUI().tabForCoordinate(tab, x, y);
    closePageAction.setEnabled(tab.indexAtLocation(x, y)>=0);
    closeAllAction.setEnabled(tab.getTabCount()>0);
    closeAllButActiveAction.setEnabled(tab.getTabCount()>0);
    // JDK 1.3:
    // closePageAction.setEnabled(
    //     tabs.getUI().tabForCoordinate(tabs, x, y) >= 0);
    closePageAction.setEnabled(tabs.indexAtLocation(x, y) >= 0);
    closeAllAction.setEnabled(tabs.getTabCount() > 0);
    closeAllButActiveAction.setEnabled(tabs.getTabCount() > 0);
    super.show(c, x, y);
  }
};