private String[] getPreviousExtensionsOldStyle() {
List<String> extensions = new ArrayList<String>(fPreviousSearchPatterns.size());
int size = fPreviousSearchPatterns.size();
for (int i = 0; i < size; i++) {
SearchPatternData data = fPreviousSearchPatterns.get(i);
String text = FileTypeEditor.typesToString(data.fileNamePatterns);
if (!extensions.contains(text)) {
extensions.add(text);
}
}
return extensions.toArray(new String[extensions.size()]);
}
private void handleWidgetSelected() {
int selectionIndex = fPattern.getSelectionIndex();
if (selectionIndex < 0 || selectionIndex >= fPreviousSearchPatterns.size()) {
return;
}
SearchPatternData patternData = fPreviousSearchPatterns.get(selectionIndex);
if (!fPattern.getText().equals(patternData.textPattern)) {
return;
}
fIsCaseSensitiveCheckbox.setSelection(patternData.isCaseSensitive);
fIsRegExSearch = patternData.isRegExSearch;
fIsRegExCheckbox.setSelection(fIsRegExSearch);
fPattern.setText(patternData.textPattern);
fPatterFieldContentAssist.setEnabled(fIsRegExSearch);
fFileTypeEditor.setFileTypes(patternData.fileNamePatterns);
if (patternData.workingSets != null) {
getContainer().setSelectedWorkingSets(patternData.workingSets);
} else {
getContainer().setSelectedScope(patternData.scope);
}
}
private String[] getExtensions() {
return fFileTypeEditor.getFileTypes();
}