Google Git
Sign in
eclipse / platform / eclipse.platform.text / refs/tags/I20180322-2000
commit6227d7fd9e564c12cfc7dc4b1069a1bcf734363f[log] [tgz]
authorLars Vogel <Lars.Vogel@vogella.com>Thu Mar 22 15:09:10 2018 -0500
committerLars Vogel <Lars.Vogel@vogella.com>Thu Mar 22 15:09:10 2018 -0500
treeb3af26365ad53d08638ade353b08e21a5df5d513
parent3743188767f8cef3a9854b23ff7569f335f53f70 [diff]
Revert "Bug 532091 - [CodeMining] Don't draw minings which are cancelled"

This reverts commit 3743188767f8cef3a9854b23ff7569f335f53f70.

Change-Id: I2cc958b6bd54af419906a96fcfbdeed7100151ed
4 files changed
tree: b3af26365ad53d08638ade353b08e21a5df5d513
  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