GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Demo page: add a version of the minibar that shows just the MOLTO Application grammars

Browse Source
This commit is contained in:
hallgren
2013-05-24 14:20:36 +00:00
parent b7cbee7940
commit 29f1487aa4
3 changed files with 70 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
demos/index.html
View File

@@ -13,6 +13,8 @@
<p><a href="http://www.grammaticalframework.org/demos/phrasebook/">Tourist <p><a href="http://www.grammaticalframework.org/demos/phrasebook/">Tourist
Phrasebook</a> Phrasebook</a>
<p><a href="molto.html">MOLTO Application Grammars</a>
<p><a href="mathbar/">Mathbar</a> <p><a href="mathbar/">Mathbar</a>
<p><a href="http://cloud.grammaticalframework.org/gfse/">GF online editor for simple multilingual grammars</a> <p><a href="http://cloud.grammaticalframework.org/gfse/">GF online editor for simple multilingual grammars</a>

49
demos/molto.html Normal file
View File

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

19
demos/molto_grammars.js Normal file
View File

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