← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to ivle/webapp/console/media/console.js

  • Committer: William Grant
  • Date: 2010-02-15 05:37:50 UTC
  • Revision ID: grantw@unimelb.edu.au-20100215053750-hihmegnp8e7dshc2
Ignore test coverage files.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/console/media/console.js
133
133
function console_minimize()
134
134
{
135
135
    if (!windowpane_mode) return;
136
 
    console_body.setAttribute("class", "console_body windowpane minimal");
 
136
    console_body.setAttribute("class", "windowpane minimal");
137
137
    console_filler.setAttribute("class", "windowpane minimal");
138
138
}
139
139
 
142
142
function console_maximize()
143
143
{
144
144
    if (!windowpane_mode) return;
145
 
    console_body.setAttribute("class", "console_body windowpane maximal");
 
145
    console_body.setAttribute("class", "windowpane maximal");
146
146
    console_filler.setAttribute("class", "windowpane maximal");
147
147
}
148
148
 
391
391
        // Return early, so we don't re-enable the input box.
392
392
        return;
393
393
    }
394
 
    else if (res.hasOwnProperty('input'))
395
 
    {
396
 
        set_prompt("+++");
397
 
    }
398
394
    else
399
395
    {
400
 
        alert("An internal error occurred in the python console.");
401
 
        return;
 
396
        // assert res.hasOwnProperty('input')
 
397
        set_prompt("...");
402
398
    }
403
399
 
404
400
    if (inputbox != null)