Google Git
Sign in
gerrit/gerrit/f2a68082b7eb9dc964d7a6980b8382a3312aecd9
commit
f2a68082b7eb9dc964d7a6980b8382a3312aecd9
[log]
author
Michael Zhou <moz@google.com>
Mon Aug 19 11:50:12 2013 -0700
committer
Michael Zhou <moz@google.com>
Mon Aug 19 11:50:12 2013 -0700
tree
402212181885e24249e578916c4ca98f1a9c2b22
parent
33653f921687f5426df69922e9f2125cf445405e [diff]
Use Shift-Left and Shift-Right to flip side of focus

This provides the keyboard shortcut to switch focus between the two
CodeMirrors.

Change-Id: I889c0795e77baba898b980578609ac4759f6156e
1 file changed
tree: 402212181885e24249e578916c4ca98f1a9c2b22
  1. .settings/
  2. contrib/
  3. Documentation/
  4. gerrit-acceptance-tests/
  5. gerrit-antlr/
  6. gerrit-cache-h2/
  7. gerrit-common/
  8. gerrit-extension-api/
  9. gerrit-gwtdebug/
  10. gerrit-gwtexpui/
  11. gerrit-gwtui/
  12. gerrit-httpd/
  13. gerrit-launcher/
  14. gerrit-lucene/
  15. gerrit-main/
  16. gerrit-openid/
  17. gerrit-patch-commonsnet/
  18. gerrit-patch-jgit/
  19. gerrit-pgm/
  20. gerrit-plugin-api/
  21. gerrit-plugin-archetype/
  22. gerrit-plugin-gwt-archetype/
  23. gerrit-plugin-gwtui/
  24. gerrit-plugin-js-archetype/
  25. gerrit-prettify/
  26. gerrit-reviewdb/
  27. gerrit-server/
  28. gerrit-solr/
  29. gerrit-sshd/
  30. gerrit-util-cli/
  31. gerrit-util-ssl/
  32. gerrit-war/
  33. lib/
  34. plugins/
  35. ReleaseNotes/
  36. tools/
  37. website/
  38. .buckconfig
  39. .buckversion
  40. .gitignore
  41. .gitmodules
  42. .pydevproject
  43. BUCK
  44. COPYING
  45. INSTALL
  46. SUBMITTING_PATCHES
  47. VERSION