Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/DialogMarkerFilter.java
*
	 * @param parent the parent composite
	 */
	protected void createTypesArea(Composite parent) {
		Font font = parent.getFont();
		Composite composite = new Composite(parent, SWT.NONE);
		composite.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
		GridLayout layout = new GridLayout();
		composite.setLayout(layout);
	
		Label label = new Label(composite, SWT.NONE);
		label.setText(Messages.getString("filtersDialog.showItemsOfType")); 
		label.setFont(font);
		
		Table table = new Table(composite, SWT.CHECK | SWT.H_SCROLL | SWT.V_SCROLL | SWT.MULTI | SWT.FULL_SELECTION | SWT.BORDER);
		table.setLinesVisible(true);
		table.setHeaderVisible(true);
		TableLayout tableLayout = new TableLayout();
		table.setLayout(tableLayout);
		tableLayout.addColumnData(new ColumnPixelData(150, true));
		TableColumn tc = new TableColumn(table, SWT.NONE, 0);
		tc.setText(Messages.getString("filtersDialog.type.columnHeader")); 
		tableLayout.addColumnData(new ColumnPixelData(224, true));
		tc = new TableColumn(table, SWT.NONE, 1);
		tc.setText(Messages.getString("filtersDialog.superTypecolumnHeader")); 
		typesViewer = new CheckboxTableViewer(table);
		GridData gridData = new GridData(GridData.FILL_HORIZONTAL);
		gridData.heightHint = 105;
		gridData.widthHint = 350;
		typesViewer.getTable().setFont(font);