diff options
| author | hallgren <hallgren@chalmers.se> | 2010-06-02 13:40:41 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-06-02 13:40:41 +0000 |
| commit | 86da023392276db274ffeb19184af2f336de6aac (patch) | |
| tree | 8fcd2d3f67f4d61f2393ed91da8070f275ee7b6a /src/runtime/javascript/minibar/phrasebook.html | |
| parent | 365e8e2310b92def2e5ed32d0c9f3e6570f40691 (diff) | |
Some minibar/phrasebook button and style changes
* Add help button at top of page.
* Change style of word buttons to look like fridge magnets again.
* New options to specify locations of other pages: feedback_url, help_url. If
they are left undefined, no Help/Feedback buttons will be created.
* Shorter test in Google Translate button.
Diffstat (limited to 'src/runtime/javascript/minibar/phrasebook.html')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html index 61aa3a49c..ec3ab12ec 100644 --- a/src/runtime/javascript/minibar/phrasebook.html +++ b/src/runtime/javascript/minibar/phrasebook.html @@ -10,7 +10,9 @@ var phrasebook_options={ // server: "http://tournesol.cs.chalmers.se:41296", server: "http://www.grammaticalframework.org:41296", grammar_list: ["Phrasebook.pgf"], - delete_button_text: "Del" + delete_button_text: "Del", + help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html", + feedback_url: "feedback.html" } </script> <meta name = "viewport" content = "width = device-width"> @@ -18,20 +20,17 @@ var phrasebook_options={ <body onload="start_minibar(phrasebook_options)"> -<div id=minibar> -</div> +<div id=minibar></div> + <hr> <small> -Based on -<a href="http://www.cs.chalmers.se/~hallgren/minibar/minibar.html">minibar</a>, -powered by -<a href="http://www.grammaticalframework.org">GF</a>, -see -<a href="../phrasebook.html">doc</a>. +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> - </body> </html> |