PlatformEditor.java 文件源码

/**
 * If there is just one page in the multi-page editor part,
 * this hides the single tab at the bottom.
 * <!-- begin-user-doc -->
 * <!-- end-user-doc -->
 * @generated
 */
protected void hideTabs() {
    if (getPageCount() <= 1) {
        setPageText(0, "");
        if (getContainer() instanceof CTabFolder) {
            ((CTabFolder)getContainer()).setTabHeight(1);
            Point point = getContainer().getSize();
            getContainer().setSize(point.x, point.y + 6);
        }
    }
}