Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/TableSortDialog.java
}
						}
						markDirty();
					}
				});
			}
			else {
				priorityCombos[i].addSelectionListener(new SelectionAdapter() {
					public void widgetSelected(SelectionEvent e) {
						markDirty();
					}
				});
			}
		}
		updateUIFromSorter();
	}
	
	private void createRestoreDefaultsButton(Composite parent) {
		Button defaultsButton = new Button(parent, SWT.PUSH);
		defaultsButton.setText(Messages.getString("restoreDefaults.text")); 
		setButtonSize(defaultsButton, new GridData(GridData.HORIZONTAL_ALIGN_END | GridData.FILL_HORIZONTAL));
		defaultsButton.addSelectionListener(new SelectionAdapter() {
			public void widgetSelected(SelectionEvent e) {
				restoreDefaults();
				markDirty();
			}
		});
	}
	private void createSeparatorLine(Composite parent) {
		Label separator = new Label(parent, SWT.SEPARATOR | SWT.HORIZONTAL);