diff options
| author | hallgren <hallgren@chalmers.se> | 2013-05-24 14:20:36 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-05-24 14:20:36 +0000 |
| commit | 29f1487aa4454e9418a3f80642a39d1347125df5 (patch) | |
| tree | f0cdc5dd40ddbfe4c865909f35ae5ca75ced4346 /demos | |
| parent | b7cbee794087f67bdcac2eb09acfbbc937bfea12 (diff) | |
Demo page: add a version of the minibar that shows just the MOLTO Application grammars
Diffstat (limited to 'demos')
| -rw-r--r-- | demos/index.html | 2 | ||||
| -rw-r--r-- | demos/molto.html | 49 | ||||
| -rw-r--r-- | demos/molto_grammars.js | 19 |
3 files changed, 70 insertions, 0 deletions
diff --git a/demos/index.html b/demos/index.html index 61992ddd1..62833c902 100644 --- a/demos/index.html +++ b/demos/index.html @@ -13,6 +13,8 @@ <p><a href="http://www.grammaticalframework.org/demos/phrasebook/">Tourist Phrasebook</a> +<p><a href="molto.html">MOLTO Application Grammars</a> + <p><a href="mathbar/">Mathbar</a> <p><a href="http://cloud.grammaticalframework.org/gfse/">GF online editor for simple multilingual grammars</a> diff --git a/demos/molto.html b/demos/molto.html new file mode 100644 index 000000000..cf6a3426b --- /dev/null +++ b/demos/molto.html @@ -0,0 +1,49 @@ +<!DOCTYPE html> +<html> +<head> +<title>MOLTO Application Grammars</title> +<link rel=stylesheet type="text/css" href="../src/www/minibar/minibar.css"> +<link rel=stylesheet type="text/css" href="../src/www/syntax-editor/editor.css"> + +<link rel=author href="http://www.cse.chalmers.se/~hallgren/" title="Thomas Hallgren"> + +<meta name = "viewport" content = "width = device-width"> +<meta charset="UTF-8"> + +</head> + +<body class=minibar> +<h2>MOLTO Application Grammars</h2> +<div id=minibar></div> +<div id=syntax_editor></div> + +<noscript>This page doesn't works unless JavaScript is enabled.</noscript> + +<hr> + +<small> +[<a href="http://www.molto-project.eu/cloud/gf-application-grammars">GF + Application Grammars on the MOLTO web site</a>] +</small> +<small class=modtime> +HTML <!-- hhmts start -->Last modified: Fri May 24, 2013 <!-- hhmts end --> +</small> + +<div id="debug" class="hidden"></div> + +<script type="text/JavaScript" src="../src/www/js/grammar_manager.js"></script> +<script type="text/JavaScript" src="../src/www/js/support.js"></script> +<script type="text/JavaScript" src="../src/www/js/localstorage.js"></script> +<script type="text/JavaScript" src="../src/www/minibar/minibar.js"></script> +<script type="text/JavaScript" src="../src/www/minibar/minibar_input.js"></script> +<script type="text/JavaScript" src="../src/www/minibar/minibar_translations.js"></script> +<script type="text/JavaScript" src="../src/www/minibar/minibar_support.js"></script> +<script type="text/JavaScript" src="../src/www/js/pgf_online.js"></script> +<script type="text/javascript" src="../src/www/syntax-editor/ast.js"></script> +<script type="text/javascript" src="../src/www/syntax-editor/editor_menu.js"></script> +<script type="text/javascript" src="../src/www/syntax-editor/editor.js"></script> +<script type="text/javascript" src="molto_grammars.js"></script> +<script type="text/javascript" src="../src/www/gfse/gf_abs.js"></script> + +</body> +</html> diff --git a/demos/molto_grammars.js b/demos/molto_grammars.js new file mode 100644 index 000000000..1a7f64518 --- /dev/null +++ b/demos/molto_grammars.js @@ -0,0 +1,19 @@ +var online_options={ + grammars_url: "/grammars/molto/" +} + +var minibar_options= { + show_abstract: true, + show_trees: true, + tree_img_format: "svg", // or "png" + show_grouped_translations: false, + to_multiple: false, + show_brackets: true, + word_replacements: true, + default_source_language: "Eng", + feedback_url: "feedback.html", + try_google: true +} + +var server=pgf_online(online_options); +var minibar=new Minibar(server,minibar_options); |
