diff options
| author | hallgren <hallgren@chalmers.se> | 2011-08-22 17:55:47 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-08-22 17:55:47 +0000 |
| commit | c5086bda7cf8987ee8b8c557dae8ac383e5b2384 (patch) | |
| tree | 836423df50edb02b17df7277f399dadc136aab86 /src/runtime/javascript/minibar | |
| parent | d45b9edcd808d10041fec8a5d7bad4a74de24ddc (diff) | |
minibar: documentation update
Diffstat (limited to 'src/runtime/javascript/minibar')
| -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> |