createHeader( pageHeaderPlaceHolder, headerBar );
GridData GD = new GridData(GridData.FILL_HORIZONTAL); if (!headerBar) { GD.heightHint = 0; } else { createHeader( pageHeaderPlaceHolder, headerBar ); GD.heightHint = pageHeader.computeSize(SWT.DEFAULT, SWT.DEFAULT).y; } this.pageHeaderPlaceHolder.setLayoutData(GD);
	public void updateDisplay() {		if (headerBar != PreferenceLoader.loadBoolean("displayHeaderBar")) {			pageHeader.dispose();			headerBar = !headerBar;			createHeader( pageHeaderPlaceHolder, headerBar );		}		setLeftLabel(tabName);		setRightLabel("");		content.layout();	}