← Back to branch summary

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

« back to all changes in this revision

Viewing changes to www/media/browser/editor.js

Port ivle.webapp.filesystem.{diff,svnlog}'s media to the new framework.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/editor.js
 
1
function disable_save_if_safe()
 
2
{
 
3
    /* If this is defined, this engine supports change notification, so is able
 
4
     * to enable the button again. Disable it for them. */
 
5
    if(editbox.editor.addChangeHandler)
 
6
    {
 
7
        var savebutton = document.getElementById("save_button");
 
8
        savebutton.disabled = true;
 
9
        window.onbeforeunload = null;
 
10
    }
 
11
}
 
12
 
 
13
function save_file(filename)
 
14
{
 
15
    data = editbox.getCode();
 
16
    /* Do NOT refresh the page contents (causes problems for editarea and is
 
17
     * unnecessary). */
 
18
    if (current_file.svnstatus != "revision" ||
 
19
        confirm("You are currently viewing an older version of this file. " +
 
20
                "Saving will overwrite the current version. " +
 
21
                "Are you sure you want to continue?"))
 
22
    {
 
23
        do_action("putfile", filename,
 
24
                  {"path":".", "data":data, "overwrite":"true"},
 
25
                  "multipart/form-data", true);
 
26
        disable_save_if_safe();
 
27
    }
 
28
}
 
29
 
 
30
function save_file_as(default_filename)
 
31
{
 
32
    filename = prompt("Path to save to:", default_filename);
 
33
    if (!filename) return;
 
34
 
 
35
    /* The filename will be path_joined with the app name, so needs to not
 
36
     * be absolute, lest it clobber the app name. */
 
37
    if (filename.charAt(0) == "/") filename = filename.substring(1);
 
38
    ajax_call(save_file_as_callback, "fileservice", filename, {}, "POST");
 
39
}
 
40
 
 
41
function save_file_as_callback(response)
 
42
{
 
43
    if (response.status == 404 || confirm("Are you sure you want to overwrite " + filename + "?"))
 
44
        save_file(filename);
 
45
}
 
46
 
 
47
/* Return a warning to be used in window.onbeforeunload. */
 
48
function confirm_beforeunload() {
 
49
    return 'If you continue, any unsaved changes to the current file will be lost.';
 
50
}
 
51
 
 
52
function edit_text()
 
53
{
 
54
    var savebutton = document.getElementById("save_button");
 
55
    savebutton.disabled = false;
 
56
    window.onbeforeunload = confirm_beforeunload;
 
57
}
 
58
 
 
59
/** Presents the "editor heading" inserting it into a given element at
 
60
 *  the front. Note that the save widget is handled by the Python.
 
61
 */
 
62
function present_editorhead(elem, path, handler_type)
 
63
{
 
64
    var div = document.getElementById("actions2");
 
65
 
 
66
    /* Print a warning message if this is not actually a text file.
 
67
     */
 
68
    if (handler_type != "text")
 
69
    {
 
70
        var warn = dom_make_text_elem("p",
 
71
            "Warning: You are editing a binary " +
 
72
            "file, which explains any strange characters you may see. If " +
 
73
            "you save this file, you could corrupt it.");
 
74
        div.appendChild(warn);
 
75
    }
 
76
}
 
77
 
 
78
function highlighting_changed(select)
 
79
{
 
80
    editbox.edit(editbox.getCode(), select.value);
 
81
}
 
82
 
 
83
function initialise_codepress()
 
84
{
 
85
    editbox.addChangeHandler(edit_text);
 
86
    editbox.addSaveHandler(function() {document.getElementById("save_button").click()});
 
87
     
 
88
    /* We can only safely disable the save button on the first load.
 
89
     * Syntax highlighting changes will also get this function called.
 
90
     * We unfortunately need the change handler added each time.
 
91
     */
 
92
    if (!initialise_codepress.already)
 
93
    {
 
94
        disable_save_if_safe();
 
95
        initialise_codepress.already = true;
 
96
    }
 
97
}
 
98
 
 
99
/** Presents the text editor.
 
100
 */
 
101
function handle_text(path, text, handler_type)
 
102
{
 
103
    /* Create a textarea with the text in it
 
104
     * (The makings of a primitive editor).
 
105
     */
 
106
    var files = document.getElementById("filesbody");
 
107
    /* Put our UI at the top */
 
108
    present_editorhead(files, path, handler_type);
 
109
 
 
110
    var div = document.createElement("div");
 
111
    div.style.height = '100%';
 
112
    files.appendChild(div);
 
113
    var txt_elem = dom_make_text_elem("textarea",
 
114
        text.toString())
 
115
    div.appendChild(txt_elem);
 
116
    txt_elem.setAttribute("id", "editbox");
 
117
    language = language_from_mime(current_file.type);
 
118
 
 
119
    // Assume plaintext if no type can be determined.
 
120
    language = language ? language : "text";
 
121
    document.getElementById("highlighting_select").value = language;
 
122
 
 
123
    txt_elem.className = "codepress autocomplete-off " + language;
 
124
    txt_elem.setAttribute("onchange", "edit_text()");
 
125
    /* TODO: Make CSS height: 100% work */
 
126
    txt_elem.setAttribute("rows", "35");
 
127
    CodePress.run();
 
128
 
 
129
    window.onbeforeunload = confirm_beforeunload;
 
130
 
 
131
    /* And set a callback so we know that the editor iframe is loaded so we
 
132
     * can set a callback so we know when to enable the save button.
 
133
     * We also take this opportunity to disable the save button, if
 
134
     * the browser is likely to reenable it as needed. */
 
135
    editbox.onload = initialise_codepress
 
136
}
 
137
 
 
138
function language_from_mime(mime)
 
139
{
 
140
    return {'text/x-python': 'python',
 
141
            'application/javascript': 'javascript',
 
142
            'text/css': 'css',
 
143
            'text/plain': 'text',
 
144
            'text/html': 'html',
 
145
            'application/xml': 'html',
 
146
            'application/xhtml+xml': 'html'}[mime];
 
147
}