CloseTabPaneUI.java 文件源码

@Override
public void componentRemoved(ContainerEvent e) {
    JTabbedPane tp = (JTabbedPane) e.getContainer();
    Component child = e.getChild();
    if (child instanceof UIResource) {
        return;
    }

    // NOTE 4/15/2002 (joutwate):
    // This fix is implemented using client properties since there is
    // currently no IndexPropertyChangeEvent. Once
    // IndexPropertyChangeEvents have been added this code should be
    // modified to use it.
    Integer indexObj = (Integer) tp.getClientProperty("__index_to_remove__");
    if (indexObj != null) {
        int index = indexObj.intValue();
        if (htmlViews != null && htmlViews.size() >= index) {
            htmlViews.removeElementAt(index);
        }
    }
}