From e072ae6def010f86be4ffd2df2592e31c2a85377 Mon Sep 17 00:00:00 2001
From: Alfred Schmid <A.Schmid@ff-muenchen.de>
Date: Wed, 19 Feb 2014 11:04:16 -0500
Subject: [PATCH] Documented default value for empty groups filter
---
src/main/java/com/gitblit/wicket/panels/RefsPanel.java | 8 +++++---
1 files changed, 5 insertions(+), 3 deletions(-)
diff --git a/src/main/java/com/gitblit/wicket/panels/RefsPanel.java b/src/main/java/com/gitblit/wicket/panels/RefsPanel.java
index 1a76311..7a16f4a 100644
--- a/src/main/java/com/gitblit/wicket/panels/RefsPanel.java
+++ b/src/main/java/com/gitblit/wicket/panels/RefsPanel.java
@@ -122,11 +122,13 @@
cssClass = "otherRef";
} else if (name.startsWith(Constants.R_PULL)) {
// Pull Request ref
- name = "pull #" + name.substring(Constants.R_PULL.length());
- if (name.endsWith("/head")) {
+ String num = name.substring(Constants.R_PULL.length());
+ if (num.endsWith("/head")) {
// strip pull request head from name
- name = name.substring(0, name.length() - "/head".length());
+ num = num.substring(0, num.length() - "/head".length());
}
+ name = "pr #" + num;
+ tooltip = "pull request #" + num;
cssClass = "pullRef";
} else if (name.startsWith(Constants.R_REMOTES)) {
// remote branch
--
Gitblit v1.9.1