From 86da023392276db274ffeb19184af2f336de6aac Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 2 Jun 2010 13:40:41 +0000 Subject: 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. --- src/runtime/javascript/minibar/phrasebook.html | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) (limited to 'src/runtime/javascript/minibar/phrasebook.html') 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" } @@ -18,20 +20,17 @@ var phrasebook_options={ -

-Based on -minibar, -powered by -GF, -see -doc. +Powered by GF, +see doc. + + - -- cgit v1.2.3