diff options
| author | Antonio Gallo <tonicucoz@gmail.com> | 2011-06-05 11:09:40 +0000 |
|---|---|---|
| committer | Antonio Gallo <tonicucoz@gmail.com> | 2011-06-05 11:09:40 +0000 |
| commit | 9a5338f565e600e618cc4546abbf18d30d942b3a (patch) | |
| tree | e5eca4149e71ce3a204de2070cf78a9f9e0bfd6a /h-source/Application/Views/history.php | |
| parent | 310356e1c7777c0e421af7c744a44827c4869a5e (diff) | |
improved the way deleted devices are managed
Diffstat (limited to 'h-source/Application/Views/history.php')
| -rw-r--r-- | h-source/Application/Views/history.php | 10 |
1 files changed, 9 insertions, 1 deletions
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 |