| commit | f2a68082b7eb9dc964d7a6980b8382a3312aecd9 | [log] [tgz] |
|---|---|---|
| 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