mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-10 21:39:32 -06:00
d4638f54ba
Two smaller objects have been factored out from the Minibar object: Input and Translations. These have been placed in two separate files: minibar_input.js and minibar_translations.js. Some common auxiliary functions have also been moved to a separate file: minibar_support.js
57 lines
1.4 KiB
HTML
57 lines
1.4 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<title>Phrasebook</title>
|
|
<link rel=stylesheet type="text/css" href="minibar.css">
|
|
<meta charset="UTF-8">
|
|
<meta name = "viewport" content = "width = device-width">
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<div id=minibar></div>
|
|
|
|
<hr>
|
|
|
|
<small>
|
|
|
|
Powered by <a href="http://www.grammaticalframework.org/">GF</a>,
|
|
see <a href="http://www.grammaticalframework.org/examples/phrasebook/doc-phrasebook.html">doc</a>.
|
|
|
|
</small>
|
|
|
|
<script type="text/JavaScript" src="support.js"></script>
|
|
<script type="text/JavaScript" src="minibar.js"></script>
|
|
<script type="text/JavaScript" src="minibar_input.js"></script>
|
|
<script type="text/JavaScript" src="minibar_translations.js"></script>
|
|
<script type="text/JavaScript" src="minibar_support.js"></script>
|
|
<script type="text/JavaScript" src="pgf_online.js"></script>
|
|
|
|
<script type="text/JavaScript">
|
|
|
|
var online_options={
|
|
// grammars_url: "http://www.grammaticalframework.org/grammars/",
|
|
//grammars_url: "http://tournesol.cs.chalmers.se:41296/grammars",
|
|
//grammars_url: "http://localhost:41296/grammars/",
|
|
grammar_list: ["Phrasebook.pgf"] // leave undefined to get list from server
|
|
}
|
|
|
|
var server=pgf_online(online_options);
|
|
|
|
var phrasebook_options={
|
|
delete_button_text: "Del",
|
|
help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html",
|
|
feedback_url: "feedback.html",
|
|
default_source_language: "Eng"
|
|
}
|
|
|
|
start_minibar(server,phrasebook_options)
|
|
</script>
|
|
|
|
</body>
|
|
|
|
</html>
|
|
|
|
|
|
|