diff options
| author | hallgren <hallgren@chalmers.se> | 2010-09-14 16:48:20 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-09-14 16:48:20 +0000 |
| commit | 1f064157740b7ca8d28fc202ecaf6237c9ea3b22 (patch) | |
| tree | fbe876595d0eb7a63770a3dc244d4400c6386269 /src/runtime/javascript/minibar/minibar.js | |
| parent | 7581451852055840c4c49df07b3c9e8d7ac15bdf (diff) | |
minibar.js: bug fix: the current word should be accepted when you press enter if it matches one of the possible completions exactly
The current word is also accepted if there is only one remaining possible
completion.
Diffstat (limited to 'src/runtime/javascript/minibar/minibar.js')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js index f20d66ab9..5bf586e5b 100644 --- a/src/runtime/javascript/minibar/minibar.js +++ b/src/runtime/javascript/minibar/minibar.js @@ -241,7 +241,7 @@ function complete_typed(inp) { function finish_typed(inp) { //alert("finish_typed "+inp.value); var box=element("words"); - var w=inp.value+" "; + var w=inp.value; if(box.completions.length==1) add_word(box.completions[0]); else if(elem(w,box.completions)) |