diff options
| author | hallgren <hallgren@chalmers.se> | 2014-05-08 14:18:03 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-05-08 14:18:03 +0000 |
| commit | 1fbe17aabe89e9b90e871a103ec0cd100a0fd509 (patch) | |
| tree | 7349e1969d949aefbf71c79123ce8029f5b04d10 /src/www | |
| parent | 6f6e9096e8491dd3aad3dc5ac4fdcaa991e4f3c3 (diff) | |
Wide Coverage Demo Web App: bug fix: swapping source and target works again
Diffstat (limited to 'src/www')
| -rw-r--r-- | src/www/js/wc.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/js/wc.js b/src/www/js/wc.js index 6ffc21142..e35b8f9c9 100644 --- a/src/www/js/wc.js +++ b/src/www/js/wc.js @@ -273,7 +273,7 @@ wc.colors=function() { wc.swap=function() { var f=wc.f - function txt(r) { return r.t.text } + function txt(so) { return so.text } f.input.value=wc.os.map(txt).join("").trimRight() var from=f.from.value f.from.value=f.to.value |