← 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

  • Committer: mattgiuca
  • Date: 2008-06-23 12:19:28 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:791
fileservice_lib/action.py: Fixed regression.
    File upload was partially fixed but broken. Now upload should work again!

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/editor.js
1
 
saved_status = null;
2
 
 
3
1
function save_file()
4
2
{
5
 
    filename = document.getElementById("save_filename").value;
 
3
    var savebutton = document.getElementById("save_button");
 
4
    var filename = document.getElementById("save_filename").value;
6
5
    data = editAreaLoader.getValue("editbox");
7
6
    /* Do NOT refresh the page contents (causes problems for editarea and is
8
7
     * unnecessary). */
9
 
    do_action("putfile", filename, {"path":".", "data":data}, null, true);
10
 
    saved_status.data = "Saved.";
 
8
    do_action("putfile", filename,
 
9
              {"path":".", "data":data, "overwrite":"true"}, null, true);
 
10
    savebutton.setAttribute("value", "Saved");
 
11
    // XXX Do not disable for now; there is a problem getting the callback
 
12
    // to edit_text.
 
13
    //savebutton.setAttribute("disabled", "disabled");
11
14
}
12
15
 
13
16
function edit_text()
14
17
{
15
 
    saved_status.data = "Not saved.";
 
18
    var savebutton = document.getElementById("save_button");
 
19
    savebutton.setAttribute("value", "Save");
 
20
    savebutton.removeAttribute("disabled");
16
21
}
17
22
 
18
23
/** Presents the "editor heading" (the part with the save box)
20
25
 */
21
26
function present_editorhead(elem, path, handler_type)
22
27
{
23
 
    var div = document.createElement("div");
24
 
    /* Insert as the head element */
25
 
    elem.insertBefore(div, elem.firstChild)
26
 
    div.setAttribute("id", "editorhead");
 
28
    var div = document.getElementById("actions2");
27
29
 
28
30
    /* Set up minimal interface */
29
 
    var p = dom_make_text_elem("p", "Path: ");
 
31
    var p = dom_make_text_elem("p", "Save as: ");
30
32
    var pathname = document.createElement("input");
31
33
    pathname.setAttribute("type", "text");
32
34
    pathname.setAttribute("size", "30");
34
36
    pathname.setAttribute("value", path);
35
37
    p.appendChild(pathname);
36
38
    var savebutton = document.createElement("input");
 
39
    savebutton.setAttribute("id", "save_button");
37
40
    savebutton.setAttribute("type", "button");
38
 
    savebutton.setAttribute("value", "Save");
 
41
    savebutton.setAttribute("value", "Saved");
 
42
    savebutton.setAttribute("disabled", "disabled");
39
43
    savebutton.setAttribute("onclick", "save_file()");
40
44
    p.appendChild(savebutton);
41
45
    var t = document.createTextNode(" ");
42
46
    p.appendChild(t);
43
 
    saved_status = document.createTextNode("Saved.");
44
 
    //p.appendChild(saved_status);
45
47
    div.appendChild(p);
46
48
 
47
49
    /* Print a warning message if this is not actually a text file.
63
65
    /* Create a textarea with the text in it
64
66
     * (The makings of a primitive editor).
65
67
     */
66
 
    setmode(true);
67
 
 
68
68
    var files = document.getElementById("filesbody");
69
69
    /* Put our UI at the top */
70
70
    present_editorhead(files, path, handler_type);
83
83
    editAreaLoader.init({
84
84
        id : "editbox",
85
85
        syntax: "python",
 
86
        toolbar: "search, go_to_line, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, |, help",
86
87
        start_highlight: true,
87
88
        allow_toggle: false,
88
89
        allow_resize: false,
89
 
        replace_tab_by_spaces: 4
 
90
        replace_tab_by_spaces: 4,
 
91
        change_callback: "edit_text"
90
92
    });
91
93
}
92
94