← Back to branch summary

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

« back to all changes in this revision

Viewing changes to ivle/webapp/filesystem/browser/media/editor.js

  • Committer: William Grant
  • Author(s): David Coles
  • Date: 2010-05-31 12:04:13 UTC
  • mto: This revision was merged to the branch mainline in revision 1825.
  • Revision ID: coles.david@gmail.com-20100531120413-4x8ufmzf9i25hybq
Editor: Migrate to CodeMirror. Syntax highlighting hardcoded to Python for the 
moment.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/filesystem/browser/media/editor.js
1
 
function disable_save_if_safe()
 
1
function disable_save()
2
2
{
3
 
    /* If we are using CodePress, we can only safely disable the save button
4
 
     * (indicating that there are no changes to save) if the engine supports
5
 
     * change notification, so the button can be enabled again.
6
 
     *
7
 
     * Our non-CodePress mode just uses normal textarea events, so is always
8
 
     * fine.
9
 
     */
10
 
    if((!using_codepress) || editbox.editor.addChangeHandler)
11
 
    {
12
 
        var savebutton = document.getElementById("save_button");
13
 
        savebutton.disabled = true;
14
 
        window.onbeforeunload = null;
15
 
    }
 
3
    var savebutton = document.getElementById("save_button");
 
4
    savebutton.disabled = true;
 
5
    window.onbeforeunload = null;
16
6
}
17
7
 
18
8
function save_file(filename)
19
9
{
20
 
    if (using_codepress)
21
 
        data = editbox.getCode();
 
10
    if (using_codemirror)
 
11
        data = codemirror.getCode();
22
12
    else
23
13
        data = document.getElementById("editbox").value;
24
14
 
32
22
        do_action("putfile", filename,
33
23
                  {"path":".", "data":data, "overwrite":"true"},
34
24
                  "multipart/form-data");
35
 
        disable_save_if_safe();
 
25
        disable_save();
36
26
    }
37
27
}
38
28
 
89
79
    editbox.edit(editbox.getCode(), select.value);
90
80
}
91
81
 
92
 
function initialise_codepress()
93
 
{
94
 
    editbox.addChangeHandler(edit_text);
95
 
    editbox.addSaveHandler(function() {document.getElementById("save_button").click()});
96
 
     
97
 
    /* We can only safely disable the save button on the first load.
98
 
     * Syntax highlighting changes will also get this function called.
99
 
     * We unfortunately need the change handler added each time.
100
 
     */
101
 
    if (!initialise_codepress.already)
102
 
    {
103
 
        disable_save_if_safe();
104
 
        initialise_codepress.already = true;
105
 
    }
106
 
}
107
 
 
108
82
/** Presents the text editor.
109
83
 */
110
84
function handle_text(path, text, handler_type)
141
115
    txt_elem.style.height = "100%";
142
116
    window.onbeforeunload = confirm_beforeunload;
143
117
 
144
 
    /* XXX: Lord, please forgive me for browser sniffing.
145
 
            CodePress only works properly in real Gecko at the moment,
146
 
            so we must go to great and evil lengths to sniff it out.
147
 
            It's by no means a complete check, but it has to support
148
 
            more browsers than the previous situation.
149
 
            This should be killed ASAP when we fix/replace CodePress.
150
 
     */
151
 
    using_codepress = (navigator.userAgent.match('Gecko') &&
152
 
                       !navigator.userAgent.match('WebKit') &&
153
 
                       !navigator.userAgent.match('KHTML') &&
154
 
                       !navigator.userAgent.match('Presto'))
155
 
 
156
 
    if (using_codepress)
157
 
    {
158
 
        /* This is probably real Gecko. Try to fire up CodePress.
159
 
         * If it fails we'll have a horrible mess, so we'll hope.
160
 
         */
161
 
        txt_elem.className = "codepress autocomplete-off " + language;
162
 
        CodePress.run();
163
 
 
164
 
        /* And set a callback so we know that the editor iframe is loaded so
165
 
         * we can set a callback so we know when to enable the save button.
166
 
         * We also take this opportunity to disable the save button, if
167
 
         * the browser is likely to reenable it as needed. */
168
 
        editbox.onload = initialise_codepress;
169
 
    }
170
 
    else
171
 
    {
172
 
        /* Not using CodePress, so we can already disable the Save button. */
173
 
        disable_save_if_safe();
174
 
    }
 
118
    /* Always use CodeMirror (unless we find a good reason not to!) */
 
119
    using_codemirror = true;
 
120
 
 
121
    if (using_codemirror)
 
122
    {
 
123
        /* CodeMirror */
 
124
        using_codemirror = true;
 
125
        codemirror = new CodeMirror.fromTextArea(txt_elem, {
 
126
            path: mediapath+"codemirror/",
 
127
            stylesheet:
 
128
                    mediapath+"/codemirror/contrib/python/css/pythoncolors.css",
 
129
            basefiles: ["js/util.js",
 
130
                    "js/stringstream.js",
 
131
                    "js/select.js",
 
132
                    "js/undo.js",
 
133
                    "js/editor.js",
 
134
                    "js/tokenize.js"],
 
135
            parserfile: ["contrib/python/js/parsepython.js"],
 
136
            onChange: edit_text,
 
137
            indentUnit: 4,
 
138
            tabMode: "spaces"
 
139
        });
 
140
    }
 
141
 
 
142
    /* Not using CodePress, so we can already disable the Save button. */
 
143
    disable_save();
 
144
 
175
145
}
176
146
 
177
147
function language_from_mime(mime)