1
function disable_save_if_safe()
3
/* If this is defined, this engine supports change notification, so is able
4
* to enable the button again. Disable it for them. */
5
if(editbox.editor.addChangeHandler)
7
var savebutton = document.getElementById("save_button");
8
savebutton.disabled = true;
9
window.onbeforeunload = null;
13
function save_file(filename)
15
data = editbox.getCode();
16
/* Do NOT refresh the page contents (causes problems for editarea and is
18
if (current_file.svnstatus != "revision" ||
19
confirm("You are currently viewing an older version of this file. " +
20
"Saving will overwrite the current version. " +
21
"Are you sure you want to continue?"))
23
do_action("putfile", filename,
24
{"path":".", "data":data, "overwrite":"true"},
25
"multipart/form-data", true);
26
disable_save_if_safe();
30
function save_file_as(default_filename)
32
filename = prompt("Path to save to:", default_filename);
33
if (!filename) return;
35
/* The filename will be path_joined with the app name, so needs to not
36
* be absolute, lest it clobber the app name. */
37
if (filename.charAt(0) == "/") filename = filename.substring(1);
38
ajax_call(save_file_as_callback, "fileservice", filename, {}, "POST");
41
function save_file_as_callback(response)
43
if (response.status == 404 || confirm("Are you sure you want to overwrite " + filename + "?"))
47
/* Return a warning to be used in window.onbeforeunload. */
48
function confirm_beforeunload() {
49
return 'If you continue, any unsaved changes to the current file will be lost.';
54
var savebutton = document.getElementById("save_button");
55
savebutton.disabled = false;
56
window.onbeforeunload = confirm_beforeunload;
59
/** Presents the "editor heading" inserting it into a given element at
60
* the front. Note that the save widget is handled by the Python.
62
function present_editorhead(elem, path, handler_type)
64
var div = document.getElementById("actions2");
66
/* Print a warning message if this is not actually a text file.
68
if (handler_type != "text")
70
var warn = dom_make_text_elem("p",
71
"Warning: You are editing a binary " +
72
"file, which explains any strange characters you may see. If " +
73
"you save this file, you could corrupt it.");
74
div.appendChild(warn);
78
function highlighting_changed(select)
80
editbox.edit(editbox.getCode(), select.value);
83
function initialise_codepress()
85
editbox.addChangeHandler(edit_text);
86
editbox.addSaveHandler(function() {document.getElementById("save_button").click()});
88
/* We can only safely disable the save button on the first load.
89
* Syntax highlighting changes will also get this function called.
90
* We unfortunately need the change handler added each time.
92
if (!initialise_codepress.already)
94
disable_save_if_safe();
95
initialise_codepress.already = true;
99
/** Presents the text editor.
101
function handle_text(path, text, handler_type)
103
/* Create a textarea with the text in it
104
* (The makings of a primitive editor).
106
var files = document.getElementById("filesbody");
107
/* Put our UI at the top */
108
present_editorhead(files, path, handler_type);
110
var div = document.createElement("div");
111
div.style.height = '100%';
112
files.appendChild(div);
113
var txt_elem = dom_make_text_elem("textarea",
115
div.appendChild(txt_elem);
116
txt_elem.setAttribute("id", "editbox");
117
language = language_from_mime(current_file.type);
119
// Assume plaintext if no type can be determined.
120
language = language ? language : "text";
121
document.getElementById("highlighting_select").value = language;
123
txt_elem.className = "codepress autocomplete-off " + language;
124
txt_elem.setAttribute("onchange", "edit_text()");
125
/* TODO: Make CSS height: 100% work */
126
txt_elem.setAttribute("rows", "35");
129
window.onbeforeunload = confirm_beforeunload;
131
/* And set a callback so we know that the editor iframe is loaded so we
132
* can set a callback so we know when to enable the save button.
133
* We also take this opportunity to disable the save button, if
134
* the browser is likely to reenable it as needed. */
135
editbox.onload = initialise_codepress
138
function language_from_mime(mime)
140
return {'text/x-python': 'python',
141
'application/javascript': 'javascript',
143
'text/plain': 'text',
145
'application/xml': 'html',
146
'application/xhtml+xml': 'html'}[mime];