5
5
filename = document.getElementById("save_filename").value;
6
6
data = editAreaLoader.getValue("editbox");
7
/* Do NOT refresh the page contents (causes problems for editarea and is
9
do_action("putfile", filename, {"path":".", "data":data}, null, true);
7
do_action("putfile", filename, {"path":".", "data":data});
10
8
saved_status.data = "Saved.";
15
13
saved_status.data = "Not saved.";
18
/** Presents the "editor heading" (the part with the save box)
19
* inserting it into a given element at the front.
16
/** Presents the text editor.
21
function present_editorhead(elem, path, handler_type)
18
function handle_text(path, text, handler_type)
20
/* Create a textarea with the text in it
21
* (The makings of a primitive editor).
25
var files = document.getElementById("filesbody");
23
26
var div = document.createElement("div");
24
/* Insert as the head element */
25
elem.insertBefore(div, elem.firstChild)
26
div.setAttribute("id", "editorhead");
27
files.appendChild(div);
28
div.setAttribute("class", "padding");
28
30
/* Set up minimal interface */
29
31
var p = dom_make_text_elem("p", "Path: ");
54
56
"you save this file, you could corrupt it.");
55
57
div.appendChild(warn);
59
/** Presents the text editor.
61
function handle_text(path, text, handler_type)
63
/* Create a textarea with the text in it
64
* (The makings of a primitive editor).
66
var files = document.getElementById("filesbody");
67
/* Put our UI at the top */
68
present_editorhead(files, path, handler_type);
70
var div = document.createElement("div");
71
files.appendChild(div);
72
59
var txt_elem = dom_make_text_elem("textarea",
74
61
div.appendChild(txt_elem);
75
62
txt_elem.setAttribute("id", "editbox");
76
63
txt_elem.setAttribute("onchange", "edit_text()");
77
64
/* TODO: Make CSS height: 100% work */
78
txt_elem.setAttribute("rows", "35");
65
txt_elem.setAttribute("rows", "20");
80
67
/* Load EditArea into the editbox */
81
68
editAreaLoader.init({
84
toolbar: "search, go_to_line, |, undo, redo, |, select_font, |, syntax_selection, |, highlight, |, help",
85
start_highlight: true,
88
replace_tab_by_spaces: 4