Bug 151958 [Markers] Custom problem filter not updated
- create a minimal plugin with a plugin.xml like this: <?xml version="1.0" encoding="UTF-8"?> <?eclipse version="3.2"?> <plugin> <extension point="org.eclipse.ui.ide.markerSupport"> <problemFilter name="Problems" id="markererror.myPlugin.filterId" enabled="true" scope="ON_ANY_IN_SAME_CONTAINER"> <selectedType/> </problemFilter> </extension> </plugin> - start a runtime workbench, introduce a compile error in a Java class to get a problem marker. - in the problems view, disable the default filter, the filter "Problems" remains activated. - no markers are shown in the problem view. I debugged a little and found that the method MarkerFilter.setFocusResource() is only called for the default filter, not for the plugin-defined "Problems" filter: The latter filter is only contained in the field MarkerView.enabledFilters. The field MarkerView.markerFilters contains only the default filter.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/DialogMarkerFilter.java
/**
	 * Creates the area showing which marker types should be included.
	 * 
	 * @param parent
	 *            the parent composite
	 */
	protected void createTypesArea(Composite parent) {
		Composite composite = new Composite(parent, SWT.NONE);
		composite.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
		GridLayout layout = new GridLayout();
		composite.setLayout(layout);
		Label label = new Label(composite, SWT.NONE);
		label.setText(MarkerMessages.filtersDialog_showItemsOfType);
		Tree tree = new Tree(composite, SWT.CHECK | SWT.H_SCROLL | SWT.V_SCROLL
				| SWT.MULTI | SWT.FULL_SELECTION | SWT.BORDER);
		tree.setLinesVisible(true);
		tree.setHeaderVisible(false);
		TableLayout tableLayout = new TableLayout();
		tree.setLayout(tableLayout);
		tableLayout.addColumnData(new ColumnWeightData(100, true));
		new TreeColumn(tree, SWT.NONE, 0);
		typesViewer = new CheckboxTreeViewer(tree);
		GridData gridData = new GridData(SWT.FILL, SWT.FILL, true, true);
		gridData.widthHint = convertVerticalDLUsToPixels(100);
		gridData.heightHint = convertVerticalDLUsToPixels(125);
		typesContentProvider = getTypesContentProvider();
		typesViewer.getControl().setLayoutData(gridData);
		typesViewer.setContentProvider(typesContentProvider);
		typesViewer.setLabelProvider(getLabelProvider());
		typesViewer.setSorter(getSorter());