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

function disable_save()

{

    var savebutton = document.getElementById("save_button");

    savebutton.disabled = true;

    window.onbeforeunload = null;

}

function save_file(filename)

{

    if (using_codemirror)

        data = codemirror.getCode();

    else

        data = document.getElementById("editbox").value;

    /* Do NOT refresh the page contents (causes problems for editarea and is

     * unnecessary). */

    if (current_file.svnstatus != "revision" ||

        confirm("You are currently viewing an older version of this file. " +

                "Saving will overwrite the current version. " +

                "Are you sure you want to continue?"))

    {

        do_action("putfile", filename,

                  {"path":".", "data":data, "overwrite":"true"},

                  "multipart/form-data");

        disable_save();

    }

}

function save_file_as(default_filename)

{

    filename = prompt("Path to save to:", default_filename);

    if (!filename) return;

    /* The filename will be path_joined with the app name, so needs to not

     * be absolute, lest it clobber the app name. */

    if (filename.charAt(0) == "/") filename = filename.substring(1);

    ajax_call(save_file_as_callback, "fileservice", filename, {}, "POST");

}

function save_file_as_callback(response)

{

    if (response.status == 404 || confirm("Are you sure you want to overwrite " + filename + "?"))

        save_file(filename);

}

/* Return a warning to be used in window.onbeforeunload. */

function confirm_beforeunload() {

    return 'If you continue, any unsaved changes to the current file will be lost.';

}

function edit_text()

{

    var savebutton = document.getElementById("save_button");

    savebutton.disabled = false;

    window.onbeforeunload = confirm_beforeunload;

}

/** Presents the "editor heading" inserting it into a given element at

 *  the front. Note that the save widget is handled by the Python.

 */

function present_editorhead(elem, path, handler_type)

{

    var div = document.getElementById("actions2");

    /* Print a warning message if this is not actually a text file.

     */

    if (handler_type != "text")

    {

        var warn = dom_make_text_elem("p",

            "Warning: You are editing a binary " +

            "file, which explains any strange characters you may see. If " +

            "you save this file, you could corrupt it.");

        div.appendChild(warn);

    }

}

function highlighting_changed(select)

{

    editbox.edit(editbox.getCode(), select.value);

}

/** Presents the text editor.

 */

function handle_text(path, text, handler_type)

{

    /* Create a textarea with the text in it

     * (The makings of a primitive editor).

     */

    var files = document.getElementById("filesbody");

    /* Put our UI at the top */

    present_editorhead(files, path, handler_type);

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

    div.style.height = '100%';

    files.appendChild(div);

    var txt_elem = document.createElement("textarea");

    txt_elem.value = text.toString();

    div.appendChild(txt_elem);

    txt_elem.setAttribute("id", "editbox");

    language = language_from_mime(current_file.type);

    // Assume plaintext if no type can be determined.

    language = language ? language : "text";

    document.getElementById("highlighting_select").value = language;

    $(txt_elem).change(edit_text);

    /* This isn't ideal, as Opera seems to fire it even for non-textual keys.

     * But IE and WebKit don't, so this will behave properly in most browsers.

     * This makes me sad.

     */

    $(txt_elem).keypress(edit_text);

    txt_elem.style.width = "100%";

    txt_elem.style.height = "100%";

    window.onbeforeunload = confirm_beforeunload;

    /* Always use CodeMirror (unless we find a good reason not to!) */

    using_codemirror = true;

    if (using_codemirror)

    {

        /* CodeMirror */

        using_codemirror = true;

        codemirror = new CodeMirror.fromTextArea(txt_elem, {

            path: mediapath+"codemirror/",

            stylesheet:

                    mediapath+"/codemirror/contrib/python/css/pythoncolors.css",

            basefiles: ["js/util.js",

                    "js/stringstream.js",

                    "js/select.js",

                    "js/undo.js",

                    "js/editor.js",

                    "js/tokenize.js"],

            parserfile: ["contrib/python/js/parsepython.js"],

            onChange: edit_text,

            indentUnit: 4,

            tabMode: "spaces"

        });

    }

    /* Not using CodePress, so we can already disable the Save button. */

    disable_save();

}

function language_from_mime(mime)

{

    return {'text/x-python': 'python',

            'application/x-javascript': 'javascript',

            'application/javascript': 'javascript',

            'text/css': 'css',

            'text/plain': 'text',

            'text/html': 'html',

            'application/xml': 'html',

            'application/xhtml+xml': 'html'}[mime];

}