From e6637cd48c50aa5ebbc01e7826b835b75bd92a87 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Thu, 15 Mar 2012 19:51:16 -0400
Subject: [PATCH] Close the Lucene index writer/searcher on a repository rename or delete

---
 src/com/gitblit/wicket/pages/DocsPage.html |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/com/gitblit/wicket/pages/DocsPage.html b/src/com/gitblit/wicket/pages/DocsPage.html
index 0da4bde..98432b5 100644
--- a/src/com/gitblit/wicket/pages/DocsPage.html
+++ b/src/com/gitblit/wicket/pages/DocsPage.html
@@ -8,7 +8,7 @@
 <wicket:extend>
 	
 	<!-- header -->
-	<div style="margin-top:5px;" class="header"><span wicket:id="header">[header]</span></div>
+	<div style="margin-top:5px;" class="header"><i class="icon-book" style="vertical-align: middle;"></i> <b><span wicket:id="header">[header]</span></b></div>
 	
 	<!-- documents -->	
 	<table style="width:100%" class="pretty">

--
Gitblit v1.9.1