Shawn Pearce 34b557cc52 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

2013-06-14 23:05:51 -07:00

..

.settings

Option to show relative times in changes table

2013-04-01 12:15:15 +02:00

src

Hide unused header in codemirror screen

2013-06-14 23:05:51 -07:00

.gitignore

Add Intellij IDEA files to ignore list

2012-05-03 13:17:43 -07:00

BUCK

Fix eclipse classpath to include GWT unit test deps

2013-06-14 14:17:23 -07:00

DEFS

Populate version from HTML and not compiled into GWT JS

2013-05-10 14:01:43 -07:00