opendev/gerrit
Code Issues Proposed changes

Shorten Documentation search option to Docs

Browse Source 
With the option of choosing between Changes and Documentation searches
the first top line has become very very long. Docs is typically enough
to understand that the search is about documentation and not changes
and we'll save a lot of useful horizontal space.

Change-Id: Ie5180cd8bcc59c52d7cc850d993ddae5fff1e476
This commit is contained in:
Luca Milanesio
2015-11-30 08:29:18 +00:00
parent 9a90351e8d
commit 792659086b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
gerrit-gwtui/src/main/java/com/google/gerrit/client/GerritConstants.properties
View File

@@ -111,4 +111,4 @@ stringListPanelUp = Up
stringListPanelDown = Down
searchDropdownChanges = Changes
searchDropdownDoc = Documentation
searchDropdownDoc = Docs