opendev/gerrit
Code Issues Proposed changes

SideBySide2: Add preference to hide line numbers

Browse Source 
The line number gutters take up 60px of horizontal space.  On a very
narrow display such as a monitor turned into portrait mode users may
find the 60px too much wasted width and be unable to read the code.
Allow the line numbers to be turned off.

Change-Id: Id8431f68c2033618d515b03b13b4d82e29579db3
This commit is contained in:
Shawn Pearce
2013-12-12 16:36:03 -08:00
parent d859739164
commit ba312d2eda
12 changed files with 94 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
gerrit-server/src/main/java/com/google/gerrit/server/account/GetDiffPreferences.java
View File

@@ -67,6 +67,7 @@ public class GetDiffPreferences implements RestReadView<AccountResource> {
info.skipDeleted = p.isSkipDeleted() ? true : null;
info.skipUncommented = p.isSkipUncommented() ? true : null;
info.hideTopMenu = p.isHideTopMenu() ? true : null;
info.hideLineNumbers = p.isHideLineNumbers() ? true : null;
info.syntaxHighlighting = p.isSyntaxHighlighting() ? true : null;
info.tabSize = p.getTabSize();
return info;
@@ -86,6 +87,7 @@ public class GetDiffPreferences implements RestReadView<AccountResource> {
Boolean skipUncommented;
Boolean syntaxHighlighting;
Boolean hideTopMenu;
Boolean hideLineNumbers;
int tabSize;
}
}