Google Git
Sign in
eclipse / platform / eclipse.platform.text / refs/tags/v20120103-1713
commit257a6c7c822fb9ee0fe5cb6fd24d98c27b5f7ba0[log] [tgz]
authorDani Megert <dmegert>Tue Jan 03 18:13:33 2012 +0100
committerDani Megert <dmegert>Tue Jan 03 18:13:33 2012 +0100
tree320f837c8f3875f379ed0d9b33d729a092407f03
parentc949d80f0dbcd3579db24de3d55babb130fb984c [diff]
Fixed bug 367311: [preferences] [accessibility] Restore Defaults does
not restore the enabled state of the checkbox "Enable thick caret"
1 file changed
tree: 320f837c8f3875f379ed0d9b33d729a092407f03
  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.tests/
  9. org.eclipse.ui.editors/
  10. org.eclipse.ui.editors.tests/
  11. org.eclipse.ui.examples.javaeditor/
  12. org.eclipse.ui.workbench.texteditor/
  13. org.eclipse.ui.workbench.texteditor.tests/
  14. .gitignore