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

« back to all changes in this revision

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

  • Committer: Matt Giuca
  • Date: 2010-02-11 03:17:12 UTC
  • Revision ID: matt.giuca@gmail.com-20100211031712-79c74lgh3mj7507s
docs: Tour of IVLE: Added lecturer tour (complete).

Show diffs side-by-side

added added

removed removed

Lines of Context:
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)