Bug 213139 [Markers] Forms in problems filtering configuration dialog doesn't grab vertical space
type list in marker filtering configuration dialog doesn't grab vertical space
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/TypesConfigurationArea.java
private CheckboxTreeViewer typesViewer;
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.internal.provisional.views.markers.api.FilterConfigurationArea#apply(org.eclipse.ui.internal.provisional.views.markers.api.MarkerFieldFilter)
	 */
	public void apply(MarkerFieldFilter filter) {
		Collection selectedTypes = new ArrayList();
		Object[] elements = typesViewer.getCheckedElements();
		for (int i = 0; i < elements.length; i++) {
			if (elements[i] instanceof MarkerTypeEntry)
				selectedTypes.add(((MarkerTypeEntry) elements[i])
						.getMarkerType());
		}
		MarkerFieldFilterGroup group = (MarkerFieldFilterGroup) typesViewer
				.getInput();
		((MarkerTypeFieldFilter) filter).setSelectedTypes(selectedTypes,
				group.builder.getGenerator());
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.internal.provisional.views.markers.FilterConfigurationArea#applyToGroup(org.eclipse.ui.internal.provisional.views.markers.MarkerFieldFilterGroup)
	 */
	public void applyToGroup(MarkerFieldFilterGroup group) {
		
	}
	/*
	 * (non-Javadoc)
	 *