Google Git
Sign in
eclipse / gerrit / platform / eclipse.platform.text / 0c046c2f7805a1239aa978cee2ab21b1577307ed
commit0c046c2f7805a1239aa978cee2ab21b1577307ed[log] [tgz]
authorFabian Pfaff <fabian.pfaff@vogella.com>Thu Apr 06 22:13:15 2017 +0200
committerMatthias Becker <ma.becker@sap.com>Tue Feb 13 04:05:13 2018 -0500
treef2bedae74701350bb1e7a21d0ceb815e01838c09
parent96e7c74fbe4889ee584a84c73a954c4756e5f268 [diff]
bug 514043 - [Dark Theme] range indicator color should be
configurable via preferences

Change-Id: I6586f77f3e200677afc251bfc84a42f6d6513887
Signed-off-by: Fabian Pfaff <fabian.pfaff@vogella.com>
3 files changed
tree: f2bedae74701350bb1e7a21d0ceb815e01838c09
  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