commit 34b557cc52c66e6f0ff1e4dc9f4bd58af324cb45
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

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

gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/CodeMirrorDemo.java

diff --git a/gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/CodeMirrorDemo.java b/gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/CodeMirrorDemo.java
index d11e8e1..904b535 100644
--- a/gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/CodeMirrorDemo.java
+++ b/gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/CodeMirrorDemo.java
@@ -60,6 +60,7 @@
   @Override
   protected void onInitUI() {
     super.onInitUI();
+    setHeaderVisible(false);
     add(diffTable = new DiffTable());
   }