← Back to branch summary

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

« back to all changes in this revision

Viewing changes to www/media/console/console.js

  • Committer: mattgiuca
  • Date: 2008-03-05 05:55:24 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:651
util.js: Added write_cookie and read_cookie functions for JavaScript,
    allowing you to effectively treat the cookie as a dictionary
    rather than a big string.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/console/console.js
86
86
        windowpane_mode = true;
87
87
        console_minimize();
88
88
    }
 
89
    /* TEMP: Start the server now.
 
90
     * Ultimately we want the server to start only when a line is typed, but
 
91
     * it currently does it asynchronously and doesn't start in time for the
 
92
     * first line. */
 
93
    start_server();
89
94
}
90
95
 
91
96
/** Hide the main console panel, so the console minimizes to just an input box
243
248
    }
244
249
    var output = document.getElementById("console_output");
245
250
    {
246
 
        // Print ">>>" span
247
 
        var span = document.createElement("span");
248
 
        span.setAttribute("class", "inputPrompt");
249
 
        span.appendChild(document.createTextNode(">>> "));
250
 
        output.appendChild(span);
251
 
        // Print input line itself in a span
252
251
        var span = document.createElement("span");
253
252
        span.setAttribute("class", "inputMsg");
254
253
        span.appendChild(document.createTextNode(inputline + "\n"));
297
296
        span.setAttribute("class", "errorMsg");
298
297
        span.appendChild(document.createTextNode(res.exc + "\n"));
299
298
        output.appendChild(span);
300
 
        // set the prompt to >>>
301
 
        var prompt = document.getElementById("console_prompt");
302
 
        prompt.replaceChild(document.createTextNode(">>> "), prompt.firstChild);
303
299
    }
304
300
    else if (res.hasOwnProperty('more'))
305
301
    {