diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-11 11:47:06 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-11 11:47:06 +0000 |
| commit | 59f9f9dd1742e5b50a0f6893fb88325d4e3bc1ea (patch) | |
| tree | 66d074c576963c0e68a9df8c1182bdd31f327310 | |
| parent | 5bce1d7a1691d927017821bb8d32dfc31ba9376a (diff) | |
minibar.html: add debug element
to allow debug output from the syntax editor when it is started from the
minibar.
Also fix broken markup.
| -rw-r--r-- | src/www/minibar/minibar.html | 5 |
1 files 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 @@ & <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> |