minibar.html: add debug element

to allow debug output from the syntax editor when it is started from the
minibar.
Also fix broken markup.
This commit is contained in:
hallgren
2013-04-11 11:47:06 +00:00
parent 5bce1d7a16
commit 59f9f9dd17

View File

@@ -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>