Bug 131022 [Markers] Filters view shows duplicate marker when super different from problem marker
I have defined a custom marker called validationmarker whose super type is problemmarker. I have another custom marker called ejbvalidationmarker who super type is validationmarker and not problemmarker. When i launch the Filter dialog from the problems view I see 2 check boxes for the same ejbvalidationmarker with one selected and one unselected. The validationmaker shows up as only one check box. Is there a problem in the check box table view in the Filters dialog ? Or is the requirement that all markers should always have the super type as the core problemmaker ?
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/DialogMarkerFilter.java
button.addSelectionListener(new SelectionAdapter() {
			public void widgetSelected(SelectionEvent e) {
				updateForSelection();
			}
		});
		button.setFont(parent.getFont());
		return button;
	}
	/**
	 * Creates a combo box with the given parent, items, and selection
	 * 
	 * @param parent
	 *            the parent composite
	 * @param items
	 *            the items for the combo box
	 * @param selectionIndex
	 *            the index of the item to select
	 * @return the combo box
	 */
	protected Combo createCombo(Composite parent, String[] items,
			int selectionIndex) {
		Combo combo = new Combo(parent, SWT.DROP_DOWN | SWT.READ_ONLY);
		combo.setLayoutData(new GridData(GridData.FILL_HORIZONTAL));
		combo.setFont(parent.getFont());
		combo.setItems(items);
		combo.select(selectionIndex);
		combo.addSelectionListener(new SelectionAdapter() {
			public void widgetSelected(SelectionEvent e) {
				updateForSelection();
			}