pageSwitcher = new ToolBar( uiParent, SWT.NONE );
pageSwitcher.setData( RWT.CUSTOM_VARIANT, CUSTOM_VARIANT_TABRIS_UI );
pageSwitcher.setLayoutData( new GridData( GridData.FILL, GridData.CENTER, false, false ) );
ToolItem pageSwitcherDropDown = new ToolItem( pageSwitcher, SWT.DROP_DOWN );
pageSwitcherDropDown.setData( RWT.CUSTOM_VARIANT, CUSTOM_VARIANT_TABRIS_UI );
pageSwitcherDropDown.addListener( SWT.Selection, new PageSwitcherSelectionListener() );
pageSwitcherMenu = new Menu( uiParent.getShell(), SWT.POP_UP );
pageSwitcherMenu.setData( RWT.CUSTOM_VARIANT, CUSTOM_VARIANT_TABRIS_UI );
}
private void createSeparator() {