Bug 113788 [Markers] Multi-QuickFix dialog needs a select/deselect all button
In the case where many items appear in the list it would be nice to be able to de-select all and select all.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerMessages.java
public static String priority_high;
	public static String priority_normal;
	public static String priority_low;
	public static String CopyToClipboardProblemDialog_title;
	public static String CopyToClipboardProblemDialog_message;
	public static String MarkerList_0;
	public static String TableContentProvider_TableSynchronization;
	public static String TableContentProvider_Updating;
	public static String MarkerFilter_searching;
	public static String MarkerView_refreshProgress;
	public static String MarkerView_refreshTitle;
	public static String MarkerView_waiting_on_changes;
	public static String MarkerView_searching_for_markers;
	public static String MarkerView_refreshing_counts;
	public static String MarkerView_queueing_updates;
	public static String DeferredQueue_setting_contents;
	public static String DeferredQueue_enqueueing_items;
	public static String MarkerView_18;
	public static String MarkerView_19;
	public static String SortUtil_finding_first;
	public static String SortUtil_partitioning;
	public static String MnemonicAssigner_valid_mnemonics;
	public static String MnemonicAssigner_missing_mnemonic_format;
	public static String OpenMarker_errorTitle;
	public static String PasteMarker_errorTitle;
	public static String RemoveMarker_errorTitle;
	public static String MarkerFilter_defaultFilterName;
	public static String MarkerFilter_newFilterName;
	public static String MarkerFilter_filtersTitle;
	public static String MarkerFilter_addFilterName;