[web2py] unable to save file with online code editor

[Alan Etkin]

When I click in the diskette for saving the file in the source code
editor, the file is not saved, and a js error message is sent to the
debugging feature in the browser:

"area is not defined"

The file that causes the error is ajax_editor.js, at line 33

Here is the highlighted code:

...
function doClickSave() {
    try {
        var data = eamy.instances[0].getText();
    } catch(e) {
        var data = area.textarea.value;
    }
...

web2py: Version 1.99.7 (2012-03-13 21:35:53) dev
browser: Firefox 10.0