diff options
Diffstat (limited to 'src/runtime/javascript/minibar')
| -rw-r--r-- | src/runtime/javascript/minibar/about.html | 12 | ||||
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.css | 2 |
2 files changed, 8 insertions, 6 deletions
diff --git a/src/runtime/javascript/minibar/about.html b/src/runtime/javascript/minibar/about.html index bce203708..f30d1a72d 100644 --- a/src/runtime/javascript/minibar/about.html +++ b/src/runtime/javascript/minibar/about.html @@ -10,7 +10,8 @@ <h1>About Minibar</h1> <a href="minibar.html">Minibar</a> is an alternative implementation of the -<a href="http://www.grammaticalframework.org:41296/fridge/">Fridge Poetry web app</a>. +<a href="http://www.grammaticalframework.org/">GF</a> web app +<a href="http://www.grammaticalframework.org:41296/fridge/">Fridge Poetry</a>. It doesn't do everything the original Fridge Poetry does (e.g. drag-and-drop is missing), so I refer to it as a minibar rather than a full refrigerator :-) @@ -100,9 +101,10 @@ Some implementation details: by the options <code>feedback_url</code> and <code>help_url</code> passed to <code>start_minibar</code>. <li>[Added 2010-06-02] New option: <code>default_source_language</code>. - <li>[Added 2010-09-10] Minibar now automatically uses AJAX instead of JSON - when possible (i.e. when the HTML document and the PGF server is on the same - server). + <li>[Added 2010-09-10] Minibar now automatically uses + <a href="http://en.wikipedia.org/wiki/Ajax_(programming)">AJAX</a> + instead of JSONP when possible (i.e. when the HTML document and the + PGF server are on the same server). <li>[Added 2010-09-10] The default input language is now the user's preferred language, if possible. This is implemented by consulting the <code>userLanguage</code> field in the grammar info output by pgf-server. @@ -147,7 +149,7 @@ Some implementation details: <hr> <small class=modtime> -<!-- hhmts start --> Last modified: Tue Nov 23 13:06:40 CET 2010 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Sun Nov 28 12:49:43 CET 2010 <!-- hhmts end --> </small> <address> <a href="http://www.cs.chalmers.se/~hallgren/">TH</a> diff --git a/src/runtime/javascript/minibar/minibar.css b/src/runtime/javascript/minibar/minibar.css index a75cd3f27..914cec541 100644 --- a/src/runtime/javascript/minibar/minibar.css +++ b/src/runtime/javascript/minibar/minibar.css @@ -35,7 +35,7 @@ div.word, span.word, div#words div, div#words input[type=button] { div.modtime { float: right; } .modtime { color: #444; white-space: nowrap; } -ul.space>li { margin-top: 0.5ex; } +ul.space>li { margin-top: 0.75ex; } div#saldospel input[type=button] { font-size: 100%; } |