diff options
Diffstat (limited to 'src/runtime/javascript/minibar/about.html')
| -rw-r--r-- | src/runtime/javascript/minibar/about.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/runtime/javascript/minibar/about.html b/src/runtime/javascript/minibar/about.html index 372d85f19..69fba5a9d 100644 --- a/src/runtime/javascript/minibar/about.html +++ b/src/runtime/javascript/minibar/about.html @@ -162,11 +162,16 @@ Some implementation details: <a href="minibar_support.js">minibar_support.js</a>. <li>[Added 2011-08-09] Added some <a href="minibar-api.html">Minibar API</a> documentation. + <li>[Changed 2011-08-22] Quick fix to allow literals to be entered: + if you press Enter, the current word will be accepted, even if there are no + matching completions. + (You can now use names of people when constructing sentences in the Letter + grammar, for example.) </ul> <hr> <small class=modtime> -<!-- hhmts start --> Last modified: Thu Aug 11 17:07:13 CEST 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Mon Aug 22 19:31:37 CEST 2011 <!-- hhmts end --> </small> <address> <a href="http://www.cs.chalmers.se/~hallgren/">TH</a> |