Google Git
Sign in
eclipse / platform / eclipse.platform.text / 579ff36747d2c917fc9edc055a8ce753284c2f4c
commit579ff36747d2c917fc9edc055a8ce753284c2f4c[log] [tgz]
authorMarkus Keller <markus_keller@ch.ibm.com>Thu Apr 21 19:51:55 2016 +0200
committerMarkus Keller <markus_keller@ch.ibm.com>Thu Apr 21 19:51:55 2016 +0200
tree561360be807592fb033dd06f8d5949963469e2ae
parentf235fe0e9b54bf7ec105592bfa5cdff9f8e34e29 [diff]
Bug 324810: [block selection] specify a win7 font value for org.eclipse.ui.workbench.texteditor.blockSelectionModeFont
1 file changed
tree: 561360be807592fb033dd06f8d5949963469e2ae
  1. org.eclipse.core.filebuffers/
  2. org.eclipse.core.filebuffers.tests/
  3. org.eclipse.jface.text/
  4. org.eclipse.jface.text.tests/
  5. org.eclipse.search/
  6. org.eclipse.search.tests/
  7. org.eclipse.text/
  8. org.eclipse.text.releng/
  9. org.eclipse.text.tests/
  10. org.eclipse.ui.editors/
  11. org.eclipse.ui.editors.tests/
  12. org.eclipse.ui.examples.javaeditor/
  13. org.eclipse.ui.workbench.texteditor/
  14. org.eclipse.ui.workbench.texteditor.tests/
  15. tests-pom/
  16. .gitignore
  17. pom.xml