diff options
| author | hallgren <hallgren@chalmers.se> | 2011-08-08 17:28:24 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-08-08 17:28:24 +0000 |
| commit | d4638f54bad7523907ebb6502af48470351d8f9e (patch) | |
| tree | 81cbdcb6a951e18eb8f39f62c6b06419595234c3 /src/runtime/javascript/minibar/phrasebook.html | |
| parent | e50731c5111cc4a4addbdb157de2d73001976c2d (diff) | |
minibar: refactoring for improved modularity
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
Diffstat (limited to 'src/runtime/javascript/minibar/phrasebook.html')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html index 9a8649d2b..78f5c353f 100644 --- a/src/runtime/javascript/minibar/phrasebook.html +++ b/src/runtime/javascript/minibar/phrasebook.html @@ -1,13 +1,9 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<!DOCTYPE html> <html> <head> -<meta http-equiv="Content-type" content="text/html;charset=UTF-8"> -<meta charset="UTF-8"> <title>Phrasebook</title> <link rel=stylesheet type="text/css" href="minibar.css"> -<script type="text/JavaScript" src="support.js"></script> -<script type="text/JavaScript" src="pgf_online.js"></script> -<script type="text/JavaScript" src="minibar.js"></script> +<meta charset="UTF-8"> <meta name = "viewport" content = "width = device-width"> </head> @@ -24,13 +20,20 @@ see <a href="http://www.grammaticalframework.org/examples/phrasebook/doc-phraseb </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 +//grammars_url: "http://localhost:41296/grammars/", + grammar_list: ["Phrasebook.pgf"] // leave undefined to get list from server } var server=pgf_online(online_options); |