// Save the combo history so previous search strings can be retrieved
historyManager.updateHistory(searchStringCombo.getText());
historyManager.saveHistory();
// Get the scope for the search based on the users choice.
SearchScope scope = new SearchScopeFactory().
createSearchScope(getContainer(),
new FileExtension[]{FileExtension.DEVICE_REPOSITORY});
// Set up the options for the query based on the users choice.
DeviceSearchQueryOptions options = new DeviceSearchQueryOptions();