diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-23 13:55:00 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-23 13:55:00 +0000 |
| commit | 1146b94685331341a2b16ad27ef76b5d7612cb3d (patch) | |
| tree | 77f33833e8a2a6e8145c1cbbc9bdb382b08d079e /src | |
| parent | 2639dc67b147edfa3c491a2de05eeb3648141de5 (diff) | |
gfse: add access to the syntax editor
via the minibar
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/gfse/index.html | 10 | ||||
| -rw-r--r-- | src/www/minibar/minibar.js | 1 |
2 files changed, 9 insertions, 2 deletions
diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html index 12f50ef7e..0eb76be46 100644 --- a/src/www/gfse/index.html +++ b/src/www/gfse/index.html @@ -4,8 +4,9 @@ <title>GF online editor for simple multilingual grammars</title> <meta charset="UTF-8"> <link rel="stylesheet" type="text/css" href="editor.css" title="Cloud"> -<link rel="stylesheet" type="text/css" href="../minibar/minibar.css"> <link rel="alternate stylesheet" type="text/css" href="molto.css" title="MOLTO"> +<link rel="stylesheet" type="text/css" href="../minibar/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"> @@ -33,7 +34,7 @@ This page does not work without JavaScript. <hr> <div class=modtime><small> HTML -<!-- hhmts start -->Last modified: Fri Apr 12 20:22:01 CEST 2013 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Tue Apr 23 14:05:30 CEST 2013 <!-- hhmts end --> </small></div> <a href="about.html">About</a> <pre id=debug></pre> @@ -53,5 +54,10 @@ HTML <script type="text/JavaScript" src="../minibar/minibar_input.js"></script> <script type="text/JavaScript" src="../minibar/minibar_translations.js"></script> <script type="text/JavaScript" src="../minibar/minibar_support.js"></script> + +<script type="text/javascript" src="../js/grammar_manager.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> </body> </html> diff --git a/src/www/minibar/minibar.js b/src/www/minibar/minibar.js index fa572cfa8..a82c60198 100644 --- a/src/www/minibar/minibar.js +++ b/src/www/minibar/minibar.js @@ -92,6 +92,7 @@ Minibar.prototype.integrate_syntax_editor=function() { var languages=filter(not_all,minibar.translations.toLangs) var editor_options = { target: editor_target, + show_grammar_menu: minibar.grammars.length>1, show_startcat_menu: minibar.input.options.startcat_menu, initial: { grammar: minibar.grammar_menu.value, // hmm startcat: minibar.input.startcat_menu.value, // hmm |