c344e89a2bb600aaf543653a754131016a3175e1 - gerrit

commit	c344e89a2bb600aaf543653a754131016a3175e1	[log] [tgz]
author	Shawn Pearce <sop@google.com>	Wed Dec 04 14:29:30 2013 -0800
committer	Shawn Pearce <sop@google.com>	Wed Dec 04 14:51:17 2013 -0800
tree	80f4d52bd15e1ba1d89c2c8a7b393c3591a2cc2e
parent	57f8b1eba94614646c7aa628492b790c550eef7f [diff]

SideBySide2: Add user preference to hide top menu

The top menu occupies a lot of space. I personally prefer the
version of SideBySide2 that hides the top menu when CM3 has scrolled
down some number of lines. Allow users to hide the top menu as a
preference, gaining back some screen space for code.

Change-Id: Ib30e8875fcc4b87662a5c12fa0bf3cc791d02c95

gerrit-gwtui/src/main/java/com/google/gerrit/client/account/DiffPreferences.java[diff]
gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/DiffTable.java[diff]
gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/PreferencesBox.java[diff]
gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/PreferencesBox.ui.xml[diff]
gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/ScrollSynchronizer.java[diff]
gerrit-gwtui/src/main/java/com/google/gerrit/client/diff/SideBySide2.java[diff]
gerrit-reviewdb/src/main/java/com/google/gerrit/reviewdb/client/AccountDiffPreference.java[diff]
gerrit-server/src/main/java/com/google/gerrit/server/account/GetDiffPreferences.java[diff]
gerrit-server/src/main/java/com/google/gerrit/server/account/SetDiffPreferences.java[diff]
gerrit-server/src/main/java/com/google/gerrit/server/schema/SchemaVersion.java[diff]
gerrit-server/src/main/java/com/google/gerrit/server/schema/Schema_88.java[Added - diff]

11 files changed