Added feature 4263: Error ticks should also cover search results
2 files changed
tree: c978e61368ad11b0aa05830c550b1ce2adf2b040
  1. org.eclipse.search/
  2. org.eclipse.ui.examples.javaeditor/
  3. .gitignore