← 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-23 08:48:09 UTC
  • mfrom: (1673 trunk)
  • mto: This revision was merged to the branch mainline in revision 1674.
  • Revision ID: grantw@unimelb.edu.au-20100223084809-du6dvsxrjhw15ytr
Merge trunk.

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", "windowpane minimal");
 
136
    console_body.setAttribute("class", "console_body 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", "windowpane maximal");
 
145
    console_body.setAttribute("class", "console_body 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
    }
394
398
    else
395
399
    {
396
 
        // assert res.hasOwnProperty('input')
397
 
        set_prompt("...");
 
400
        alert("An internal error occurred in the python console.");
 
401
        return;
398
402
    }
399
403
 
400
404
    if (inputbox != null)