diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-21 15:07:59 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-21 15:07:59 +0000 |
| commit | 8bd58a02970d3650b5b3efb6298f40529737c2d8 (patch) | |
| tree | e6bf28a4ef008c69b38f3f985249ab43d119892d /src/www/minibar/minibar.html | |
| parent | 051b7b0d21ad8ac1fe42dfd09cd773b48b8fd8ea (diff) | |
minibar+syntax editor integration, work in progress
Diffstat (limited to 'src/www/minibar/minibar.html')
| -rw-r--r-- | src/www/minibar/minibar.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/www/minibar/minibar.html b/src/www/minibar/minibar.html index df5bfba3a..e3a6cbdf0 100644 --- a/src/www/minibar/minibar.html +++ b/src/www/minibar/minibar.html @@ -3,6 +3,7 @@ <head> <title>Minibar</title> <link rel=stylesheet type="text/css" href="minibar.css"> +<link rel=stylesheet type="text/css" href="../syntax-editor/editor.css"> <link rel=author href="http://www.cse.chalmers.se/~hallgren/" title="Thomas Hallgren"> @@ -14,6 +15,7 @@ <body class=minibar> <h2>Minibar online</h2> <div id=minibar></div> +<div id=editor></div> <noscript>This page doesn't works unless JavaScript is enabled.</noscript> @@ -25,7 +27,7 @@ & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start -->Last modified: Tue Nov 20 13:38:35 CET 2012 <!-- hhmts end --> +HTML <!-- hhmts start -->Last modified: Wed Nov 21 15:50:29 CET 2012 <!-- hhmts end --> </small> <address> @@ -35,6 +37,9 @@ HTML <!-- hhmts start -->Last modified: Tue Nov 20 13:38:35 CET 2012 <!-- hhmts <script type="text/JavaScript" src="minibar_translations.js"></script> <script type="text/JavaScript" src="minibar_support.js"></script> <script type="text/JavaScript" src="../js/pgf_online.js"></script> +<script type="text/javascript" src="../syntax-editor/ast.js"></script> +<script type="text/javascript" src="../syntax-editor/editor_menu.js"></script> +<script type="text/javascript" src="../syntax-editor/editor.js"></script> <script type="text/javascript" src="minibar_online.js"></script> <script type="text/javascript" src="../gfse/gf_abs.js"></script> |