110111112113114115116117118119120
.setMessage("No file was found to perform the search (editors not in the workspace cannot be searched)."); return; } try { ISearchQuery query = TextSearchQueryProvider.getPreferred().createQuery(new TextSearchInput() { public boolean isRegExSearch() { return isRegEx; }