From 59f9f9dd1742e5b50a0f6893fb88325d4e3bc1ea Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 11 Apr 2013 11:47:06 +0000
Subject: [PATCH] minibar.html: add debug element

to allow debug output from the syntax editor when it is started from the
minibar.
Also fix broken markup.
---
 src/www/minibar/minibar.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/www/minibar/minibar.html b/src/www/minibar/minibar.html
index 8c193bd07..0255cdb70 100644
--- a/src/www/minibar/minibar.html
+++ b/src/www/minibar/minibar.html
@@ -27,9 +27,10 @@
 &amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
 </small>
 <small class=modtime>
-HTML <!-- hhmts start -->Last modified: Wed Apr  3 18:48:06 CEST 2013 <!-- hhmts end -->
+HTML <!-- hhmts start -->Last modified: Thu Apr  4 16:50:57 CEST 2013 <!-- hhmts end -->
 </small>
-<address>
+
+<div id="debug" class="hidden"></div>
 
 <script type="text/JavaScript" src="../js/grammar_manager.js"></script>
 <script type="text/JavaScript" src="../js/support.js"></script>