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

 

function get_console_start_directory()

{

    if((typeof(current_path) != 'undefined') && current_file)

    {

        // We have a current_path - give a suggestion to the server

        var path;

        if (current_file.isdir)

        {

            // Browser

            return path_join("/home", current_path);

        }

        else

        {

            // Editor - need to chop off filename

            var tmp_path = current_path.split('/');

            tmp_path.pop();

            return path_join("/home", tmp_path.join('/'));

        }

    }

    else

    {

        // No current_path - let the server decide

        return '';

    }

}

 

            try

            {

                server_key = JSON.parse(json_text).key;

                server_started = true;

                var args = {

                    "ivle.op": "chat", "kind": "splash", "key": server_key

                };

                var callback2 = function(xhr)

                {

                    console_response(null, null, xhr.responseText);

                    if (callback != null)

                        callback();

                };

                ajax_call(callback2, "console", "service", args, "POST");

            }

            catch (e)

            {

                alert("An error occured when starting the IVLE console. " +

                    "Please refresh the page and try again.\n" +

                    "Details have been logged for further examination.")

            }

 

    $("#console_output").append(

        '<span class="console_message">IVLE console starting up...</span>\n');

    console_maximize(true);

    ajax_call(

        callback1, "console", "service",

        {"ivle.op": "start", "cwd": get_console_start_directory()}, 

        "POST");

}

 

/** Start up the console backend before the user has entered text.

 * This will disable the text input, start a backend, and enable the input

 * again.

 */

function start_server_early()

{

    var inputbox = document.getElementById("console_inputText");

    inputbox.setAttribute("disabled", "disabled");

    var callback = function(xhr)

    {

        inputbox.removeAttribute("disabled")

    }

    start_server(callback);

    console_body.setAttribute("class", "console_body windowpane minimal");

function console_maximize(do_not_start)

    if (!do_not_start && !server_started) start_server_early();

    console_body.setAttribute("class", "console_body windowpane maximal");

    // Open up the console so we can see the output

    console_maximize();

 

        var inputline = inputbox + "\n";

        /* Disable the text box */

        inputbox.setAttribute("disabled", "disabled");

 

        var inputline = inputbox.value + "\n";

        span.appendChild(document.createTextNode(

              document.getElementById("console_prompt").firstChild.nodeValue)

                        );

        span.appendChild(document.createTextNode(inputline));

        divScroll.activeScroll();

    var args = {

        "ivle.op": "chat", "kind": which, "key": server_key,

        "text": inputline, "cwd": get_console_start_directory()

        };

            console_response(inputbox, inputline, xhr.responseText);

    ajax_call(callback, "console", "service", args, "POST");

function console_response(inputbox, inputline, responseText)

            divScroll.activeScroll();

        set_prompt(">>>");

        print_error(res.exc);

        

        set_prompt(">>>");

        print_error(

            "IVLE console restarted: " + res.restart, "console_message");

        

        set_prompt(">>>");

        set_prompt("...");

            divScroll.activeScroll();

                console_response(inputbox, null, xhr.responseText);

        var args = {

            "ivle.op": "chat", "kind": kind, "key": server_key,

            "text": '', "cwd": get_console_start_directory()

            };

        ajax_call(callback, "console", "service", args, "POST");

    else if (res.hasOwnProperty('input'))

    {

        set_prompt("+++");

    }

    else

    {

        alert("An internal error occurred in the python console.");

        return;

    document.getElementById("console_output").focus();

    document.getElementById("console_inputText").focus();

 

        /* Disable the text box. This will be redone by

         * console_enter_line, but we do it here too in case start_server

         * takes a while.

         */

        inp.setAttribute("disabled", "disabled");

        /* Inhibit further responses to this event, or WebKit moves the

         * cursor to the start. */

        return false;

        return false;

/** Resets the console by signalling the old console to expire and starting a 

 * new one.

 */

function console_reset()

{

    // FIXME: We show some feedback here - either disable input or at very 

    // least the reset button.

 

    // Restart the console

    if(!server_started)

    {

        start_server(null);

    }

    else

    {

        xhr = ajax_call(null, "console", "service", {"ivle.op": "chat", "kind": "terminate", "key": server_key, "cwd": get_console_start_directory()}, "POST");

        console_response(null, null, xhr.responseText);

    }

}

 

/** Prints an error line in the console **/

function print_error(error, cls)

{

    if (!cls)

        cls = "errorMsg";

 

    var output = document.getElementById("console_output");

  

    // Create text block

    var span = document.createElement("span");

    span.setAttribute("class", cls);

    span.appendChild(document.createTextNode(error + "\n"));

    output.appendChild(span);

 

    // Autoscroll

    divScroll.activeScroll();

}

 

/** Sets the prompt text **/

function set_prompt(prompt_text)

{

    var prompt = document.getElementById("console_prompt");

    prompt.replaceChild(document.createTextNode(prompt_text + " "), prompt.firstChild);

}

 

    else if (scrollDiv.offsetHeight > 0)

        currentHeight = scrollDiv.offsetHeight;