Google Git
Sign in
eclipse / platform / eclipse.platform.text / I20180614-2000
commitd3f94a16e823f8bf57175e439539192c51c86267[log] [tgz]
authorangelozerr <angelo.zerr@gmail.com>Thu Jun 14 12:20:58 2018 +0200
committerangelozerr <angelo.zerr@gmail.com>Thu Jun 14 12:22:08 2018 +0200
tree7daf68e6f2e28663399a0cf3716c5b2566f7aac3
parent63b908f4c76920c70ba8fe42f78327e0e8c0362d [diff]
Bug 535899 - [code mining] Remove drawing of "deleted" annotation more
fastly

Change-Id: I67e89eb137ded9c2b19635c1a5a56127d217cc19
Signed-off-by: angelozerr <angelo.zerr@gmail.com>
1 file changed
tree: 7daf68e6f2e28663399a0cf3716c5b2566f7aac3
  1. org.eclipse.core.filebuffers/
  2. org.eclipse.core.filebuffers.tests/
  3. org.eclipse.jface.text/
  4. org.eclipse.jface.text.examples/
  5. org.eclipse.jface.text.tests/
  6. org.eclipse.search/
  7. org.eclipse.search.tests/
  8. org.eclipse.text/
  9. org.eclipse.text.releng/
  10. org.eclipse.text.tests/
  11. org.eclipse.ui.editors/
  12. org.eclipse.ui.editors.tests/
  13. org.eclipse.ui.examples.javaeditor/
  14. org.eclipse.ui.genericeditor/
  15. org.eclipse.ui.genericeditor.examples/
  16. org.eclipse.ui.genericeditor.tests/
  17. org.eclipse.ui.workbench.texteditor/
  18. org.eclipse.ui.workbench.texteditor.tests/
  19. tests-pom/
  20. .gitignore
  21. .project
  22. pom.xml