diff options
| author | Michael Keppler | 2015-04-05 14:59:54 +0000 |
|---|---|---|
| committer | Matthias Sohn | 2015-05-15 22:26:49 +0000 |
| commit | d9e1cd1f26f7a636c700b18ca9a94f6b9b101d13 (patch) | |
| tree | fd8e0ffadd1fe3af963269ab5d63d048f9731660 | |
| parent | 9904bd578ea60f3d28f38fec69af0456af805b12 (diff) | |
| download | egit-d9e1cd1f26f7a636c700b18ca9a94f6b9b101d13.tar.gz egit-d9e1cd1f26f7a636c700b18ca9a94f6b9b101d13.tar.xz egit-d9e1cd1f26f7a636c700b18ca9a94f6b9b101d13.zip | |
Sort branches in Push to Gerrit case insensitive
Bug: 463676
Change-Id: I56b93e1ee8ca5c384d2d09f1dfda00ed87e595e1
Signed-off-by: Michael Keppler <michael.keppler@gmx.de>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
| -rw-r--r-- | org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/push/PushToGerritPage.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/push/PushToGerritPage.java b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/push/PushToGerritPage.java index b26ef3ed02..602fa535b5 100644 --- a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/push/PushToGerritPage.java +++ b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/push/PushToGerritPage.java @@ -314,7 +314,8 @@ class PushToGerritPage extends WizardPage { pattern = null; } - Set<String> proposals = new TreeSet<String>(); + Set<String> proposals = new TreeSet<String>( + String.CASE_INSENSITIVE_ORDER); try { Set<String> remotes = repository.getRefDatabase() |