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/FiltersConfigurationDialog.java
private Button cloneButton;
	/**
	 * Create a new instance of the receiver on builder.
	 * 
	 * @param parentShell
	 * @param builder
	 *            The {@link CachedMarkerBuilder} to apply this to
	 */
	public FiltersConfigurationDialog(IShellProvider parentShell,
			CachedMarkerBuilder builder) {
		super(parentShell);
		filterGroups = makeWorkingCopy(builder.getAllFilters());
		this.builder = builder;
		andFilters = builder.andFilters();
	}
	/**
	 * Return whether or not to AND the filters
	 * 
	 * @return boolean
	 */
	boolean andFilters() {
		return andFilters;
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.jface.dialogs.Dialog#close()
	 */
	public boolean close() {
		saveDialogSettings();