Searched refs:tabHeightLarge (Results 1 – 1 of 1) sorted by relevance
70 Button tabHeightDefault, tabHeightSmall, tabHeightMedium, tabHeightLarge; field in CTabFolderTab102 tabHeightLarge = new Button(tabHeightGroup, SWT.RADIO); in createControlGroup()103 tabHeightLarge.setText("45"); in createControlGroup()104 …tabHeightLarge.addSelectionListener (widgetSelectedAdapter(event -> setTabHeight(Integer.parseInt(… in createControlGroup()