From 9a5338f565e600e618cc4546abbf18d30d942b3a Mon Sep 17 00:00:00 2001
From: Antonio Gallo <tonicucoz@gmail.com>
Date: Sun, 5 Jun 2011 11:09:40 +0000
Subject: improved the way deleted devices are managed

---
 h-source/Application/Views/history.php | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'h-source/Application/Views/history.php')

diff --git a/h-source/Application/Views/history.php b/h-source/Application/Views/history.php
index 55032f0..0dea6a6 100644
--- a/h-source/Application/Views/history.php
+++ b/h-source/Application/Views/history.php
@@ -20,6 +20,8 @@
 // along with h-source.  If not, see <http://www.gnu.org/licenses/>.
 ?>
 
+	<?php if (!$isDeleted) { ?>
+	
 		<div class="notebooks_viewall">
 			
 			<ul class="page_history">
@@ -52,4 +54,10 @@
 		
 		<div class="history_page_list">
 			<?php echo gtext("page list");?>: <?php echo $pageList;?>
-		</div>
\ No newline at end of file
+		</div>
+
+	<?php } else { ?>
+
+	<div style="clear:both;"></div>
+	
+	<?php } ?>
\ No newline at end of file
-- 
cgit v1.2.3