| commit | 34b557cc52c66e6f0ff1e4dc9f4bd58af324cb45 | [log] [tgz] |
|---|---|---|
| author | Shawn Pearce <sop@google.com> | Fri Jun 14 23:04:40 2013 -0700 |
| committer | Shawn Pearce <sop@google.com> | Fri Jun 14 23:05:51 2013 -0700 |
| tree | f8697529e9f9aeb22a97175028fe486e5c80c15b | |
| parent | 236434f5c8037a753154b58ca798e82c48a01dab [diff] |
Hide unused header in codemirror screen This header object isn't populated, but takes up vertical height. Its hidden in the normal change view to save space. Change-Id: Ifc87697afe0ae4fc16d48baa08f1f6c84a8352dd