Project: JDT
Bug 212035 [search] UI for finegrained search options
Reported: 2007-12-05 12:31:11 | Status: resolved fixed


Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/JavaSearchPage.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/JavaSearchQuery.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/MatchLocations.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/SearchMessages.java