minibar: small documentation updates and corrections

src/runtime/javascript/minibar/about.html

@@ -90,7 +90,7 @@ Some implementation details:
   browsers.
   <li>[Added 2010-05-26] The text entry field is now visible from the start,
   and it is removed when no more words can be added to the sentence. When you
-  press enter, the a word is added if there is only one magnet left,
+  press enter, a word is added if there is only one magnet left,
   <em>or</em> if what you have entered exactly matches one of the remaining
   magnet.
   <li>[Added 2010-05-28] Added a link to make it easy to try the same sentence in
@@ -145,11 +145,16 @@ Some implementation details:
      page that uses <a href="pgf_online.js">pgf_online.js</a> to talk to the
      PGF server.
    </ul>
+ <li>[Added 2011-03-03] Added a button to display word alignment.
+ <li>[Changed 2011-03-22] Don't force focus to the typed input field
+   after every word on touch-based devices, the on-screen keyboard kept
+   popping up after every word, which was very annoying if you were
+   entering a sentence by tapping on the magnets.
 </ul>
 
 <hr>
 <small class=modtime>
-<!-- hhmts start --> Last modified: Sun Nov 28 12:49:43 CET 2010 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Apr 11 15:00:25 CEST 2011 <!-- hhmts end -->
 </small>
 <address>
 <a href="http://www.cs.chalmers.se/~hallgren/">TH</a>

src/runtime/javascript/minibar/example.html

@@ -42,10 +42,10 @@ Output:
 
 <h2>Documentation</h2>
 <ul>
-  <li><a href="http://www.grammaticalframework.org/~hallgren/gf-web-api-examples.html">GF Web API examples</a>
+  <li><a href="gf-web-api-examples.html">GF Web API examples</a>
 </ul>
 
 <hr>
 <address></address>
-<!-- hhmts start --> Last modified: Tue Nov  9 21:54:50 CET 2010 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Apr 11 14:53:21 CEST 2011 <!-- hhmts end -->
 </body> </html>

src/runtime/javascript/minibar/gf-web-api-examples.html

@@ -25,7 +25,7 @@ availiable in the GF shell is also available via the GF web services API.
 The
 <a href="http://code.google.com/p/grammatical-framework/wiki/GFWebServiceAPI">GF
 Web Service API</a> page describes the calls supported by the GF web service
-API. Below, we illustrate these calls by examples, and also shows
+API. Below, we illustrate these calls by examples, and also show
 how to make these calls from JavaScript using the API defined in
 <a href="http://www.grammaticalframework.org/src/runtime/javascript/minibar/pgf_online.js">pgf_online.js</a>.
 
@@ -120,7 +120,7 @@ incomplete and might be made more complete in a future version...
   "text":""}]
 </dl>
 <hr>
-<!-- hhmts start --> Last modified: Tue Nov  9 21:57:49 CET 2010 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Apr 11 14:47:59 CEST 2011 <!-- hhmts end -->
 <address>
 <a href="http://www.cse.chalmers.se/~hallgren/>Thomas Hallgren</a>
 </address>