Adapted to new getDecoratorManager() API (bug 11748)
3 files changed
tree: cc523e1acf9e2e7c7e8f2b04d31a15475dd87c7b
  1. org.eclipse.search/
  2. org.eclipse.ui.examples.javaeditor/
  3. .gitignore