for (int j= 0; j < fQuickDiffProviderListModel.length; j++) { if (fStore.getString(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_DEFAULT_PROVIDER).equals(fQuickDiffProviderListModel[j][0])) { fQuickDiffProviderList.remove(j); fQuickDiffProviderList.add(fQuickDiffProviderListModel[j][1], j); } if (i == j) { fQuickDiffProviderList.remove(j); fQuickDiffProviderList.add(fQuickDiffProviderListModel[j][1] + " " + fMessages.getString(fPrefix + ".quickdiff.defaultlabel"), j); } } fSetDefaultButton.setEnabled(false); fQuickDiffProviderList.setSelection(i); fQuickDiffProviderList.redraw();
			public void widgetSelected(SelectionEvent e) {				int i= fQuickDiffProviderList.getSelectionIndex();				for (int j= 0; j < fQuickDiffProviderListModel.length; j++) {					if (fStore.getString(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_DEFAULT_PROVIDER).equals(fQuickDiffProviderListModel[j][0])) {						fQuickDiffProviderList.remove(j);						fQuickDiffProviderList.add(fQuickDiffProviderListModel[j][1], j);					}					if (i == j) {						fQuickDiffProviderList.remove(j);						fQuickDiffProviderList.add(fQuickDiffProviderListModel[j][1] + " " + fMessages.getString(fPrefix + ".quickdiff.defaultlabel"), j);  //$NON-NLS-1$//$NON-NLS-2$					}				}				fSetDefaultButton.setEnabled(false);				fQuickDiffProviderList.setSelection(i);				fQuickDiffProviderList.redraw();								fStore.setValue(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_DEFAULT_PROVIDER, fQuickDiffProviderListModel[i][0]);			}