5
5
filename = document.getElementById("save_filename").value;
6
6
data = editAreaLoader.getValue("editbox");
7
do_action("putfile", filename, {"path":".", "data":data});
9
do_action("putfile", filename, {"path":".", "data":data}, null, true);
8
10
saved_status.data = "Saved.";