From 17725677285470ca7dbf5da93e4235415545a7cf Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Wed, 26 Jun 2013 17:09:01 -0400
Subject: [PATCH] Support custom header logo images of 120x45 (issue 208)
---
src/main/java/com/gitblit/wicket/pages/HistoryPage.java | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/src/main/java/com/gitblit/wicket/pages/HistoryPage.java b/src/main/java/com/gitblit/wicket/pages/HistoryPage.java
index 563202e..314bdef 100644
--- a/src/main/java/com/gitblit/wicket/pages/HistoryPage.java
+++ b/src/main/java/com/gitblit/wicket/pages/HistoryPage.java
@@ -62,4 +62,9 @@
protected String getPageName() {
return getString("gb.history");
}
+
+ @Override
+ protected Class<? extends BasePage> getRepoNavPageClass() {
+ return TreePage.class;
+ }
}
--
Gitblit v1.9.1