← 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: Matt Giuca
  • Date: 2009-02-25 10:19:29 UTC
  • mfrom: (1100.1.35 new-ui)
  • Revision ID: matt.giuca@gmail.com-20090225101929-v2206kbf3lgkm1kz
*Spoiler warning: Plot or ending details follow*

Merged from new-ui branch.

IVLE top bar and top of filebrowser and console have all been made over. They
look very shiny and web 2.0!

Added image-source top-level directory with SVG source images.

Added new chrome images to ivle/webapp/coremedia/images.

Redid a lot CSS and HTML.
Every page now has an H1 at the top (common UI). Moved existing H1s to the top
of the page. Other H1s have been cleaned up (moved to H2s or restyled).
IVLE top bar has been majorly cleaned up (previously had many layered divs);
now more accessible.

Subject icon replaced with tutorial one.

The funeral for the tacky yellow and blue stylesheet will be held this Friday.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/console/media/console.js
256
256
    {
257
257
        var inputline = inputbox;
258
258
        inputbox = null;
259
 
        var graytimer = null;
260
259
    }
261
260
    else
262
261
    {
263
 
        GLOBAL_inputbox = inputbox;     /* For timer */
 
262
        /* Disable the text box */
 
263
        inputbox.setAttribute("disabled", "disabled");
 
264
 
264
265
        var inputline = inputbox.value + "\n";
265
 
        var graytimer = setTimeout("GLOBAL_inputbox.setAttribute(\"class\", "
266
 
            + "\"disabled\");", 100);
267
266
    }
268
267
    var output = document.getElementById("console_output");
269
268
    {
283
282
    var args = {"ivle.op": "chat", "kind": which, "key": server_key, "text":inputline};
284
283
    var callback = function(xhr)
285
284
        {
286
 
            console_response(inputbox, graytimer, inputline, xhr.responseText);
 
285
            console_response(inputbox, inputline, xhr.responseText);
287
286
        }
288
 
    /* Disable the text box */
289
 
    if (inputbox != null)
290
 
        inputbox.setAttribute("disabled", "disabled");
291
287
    ajax_call(callback, "console", "service", args, "POST");
292
288
}
293
289
 
294
 
function console_response(inputbox, graytimer, inputline, responseText)
 
290
function console_response(inputbox, inputline, responseText)
295
291
{
296
292
    try
297
293
    {
350
346
        }
351
347
        var callback = function(xhr)
352
348
            {
353
 
                console_response(inputbox, graytimer,
354
 
                                 null, xhr.responseText);
 
349
                console_response(inputbox, null, xhr.responseText);
355
350
            }
356
351
        if (interrupted)
357
352
        {
383
378
    if (inputbox != null)
384
379
    {
385
380
        /* Re-enable the text box */
386
 
        clearTimeout(graytimer);
387
381
        inputbox.removeAttribute("disabled");
388
 
        inputbox.removeAttribute("class");
389
382
        interrupted = false;
390
383
    }
391
384