← 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-03-16 02:46:19 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:712
setup: Added config option "motd_path" to hold the path for message-of-the-day
    announcements.
dispatch.login: Now tries to send the file in motd_path at the bottom of the
    login page.
This allows our admins to post system-wide announcements.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/browser/editor.js
4
4
{
5
5
    filename = document.getElementById("save_filename").value;
6
6
    data = editAreaLoader.getValue("editbox");
7
 
    do_action("putfile", filename, {"path":".", "data":data});
 
7
    /* Do NOT refresh the page contents (causes problems for editarea and is
 
8
     * unnecessary). */
 
9
    do_action("putfile", filename, {"path":".", "data":data}, null, true);
8
10
    saved_status.data = "Saved.";
9
11
}
10
12
 
13
15
    saved_status.data = "Not saved.";
14
16
}
15
17
 
16
 
/** Presents the text editor.
 
18
/** Presents the "editor heading" (the part with the save box)
 
19
 * inserting it into a given element at the front.
17
20
 */
18
 
function handle_text(path, text, handler_type)
 
21
function present_editorhead(elem, path, handler_type)
19
22
{
20
 
    /* Create a textarea with the text in it
21
 
     * (The makings of a primitive editor).
22
 
     */
23
 
 
24
 
    setmode(true);
25
 
    var files = document.getElementById("filesbody");
26
23
    var div = document.createElement("div");
27
 
    files.appendChild(div);
28
 
    div.setAttribute("class", "padding");
 
24
    /* Insert as the head element */
 
25
    elem.insertBefore(div, elem.firstChild)
 
26
    div.setAttribute("id", "editorhead");
29
27
 
30
28
    /* Set up minimal interface */
31
29
    var p = dom_make_text_elem("p", "Path: ");
56
54
            "you save this file, you could corrupt it.");
57
55
        div.appendChild(warn);
58
56
    }
 
57
}
 
58
 
 
59
/** Presents the text editor.
 
60
 */
 
61
function handle_text(path, text, handler_type)
 
62
{
 
63
    /* Create a textarea with the text in it
 
64
     * (The makings of a primitive editor).
 
65
     */
 
66
    var files = document.getElementById("filesbody");
 
67
    /* Put our UI at the top */
 
68
    present_editorhead(files, path, handler_type);
 
69
 
 
70
    var div = document.createElement("div");
 
71
    files.appendChild(div);
59
72
    var txt_elem = dom_make_text_elem("textarea",
60
73
        text.toString())
61
74
    div.appendChild(txt_elem);
68
81
    editAreaLoader.init({
69
82
        id : "editbox",
70
83
        syntax: "python",
71
 
        start_highlight: true
 
84
        toolbar: "search, go_to_line, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, |, help",
 
85
        start_highlight: true,
 
86
        allow_toggle: false,
 
87
        allow_resize: false,
 
88
        replace_tab_by_spaces: 4
72
89
    });
73
90
}
74
91