43
46
"application/xml" : "text",
49
/* Mapping MIME types to icons, just the file's basename */
51
"text/directory": "dir.png",
52
"text/x-python": "py.png",
55
default_type_icon = "txt.png";
57
/* Relative to IVLE root */
58
type_icons_path = "media/images/mime";
59
type_icons_path_large = "media/images/mime/large";
61
/* Mapping SVN status to icons, just the file's basename */
64
"normal": "normal.png",
66
"missing": "missing.png",
67
"deleted": "deleted.png",
68
"modified": "modified.png",
71
/* Mapping SVN status to "nice" strings */
73
"unversioned": "Temporary file",
74
"normal": "Permanent file",
75
"added": "Temporary file (scheduled to be added)",
76
"missing": "Permanent file (missing)",
77
"deleted": "Permanent file (scheduled for deletion)",
78
"replaced": "Permanent file (replaced)",
79
"modified": "Permanent file (modified)",
80
"merged": "Permanent file (merged)",
81
"conflicted": "Permanent file (conflicted)",
84
default_svn_icon = null;
85
default_svn_nice = "Unknown status";
87
svn_icons_path = "media/images/svn";
89
published_icon = "media/images/interface/published.png";
46
91
/* List of MIME types considered "executable" by the system.
47
92
* Executable files offer a "run" link, implying that the "serve"
48
93
* application can interpret them.
184
268
function clearpage()
186
/* Note: For now clear just enough to repopulate with a dir listing.
187
* Later, will have to clear more to make way for other handlers.
188
* Possibly have a "full clear" for all handlers, and special
189
* less-violent clearers for each handler if the same handler is going to
190
* be used that was used last time. */
270
dom_removechildren(document.getElementById("path"));
271
dom_removechildren(document.getElementById("filesbody"));
274
/** Deletes all "dynamic" content on the page necessary to navigate from
275
* one directory listing to another (does not clear as much as clearpage
277
* This is the equivalent of calling clearpage() then
278
* setup_for_dir_listing(), assuming the page is already on a dir listing.
280
function clearpage_dir()
191
282
dom_removechildren(document.getElementById("path"));
192
283
dom_removechildren(document.getElementById("files"));
193
284
dom_removechildren(document.getElementById("sidepanel"));
287
/** Sets the mode to either "file browser" or "text editor" mode.
288
* This modifies the window icon, and selected tab.
289
* \param editmode If True, editor mode. Else, file browser mode.
291
function setmode(editmode)
293
/* Find the DOM elements for the file browser and editor tabs */
294
var tabs = document.getElementById("apptabs");
295
var tab_files = null;
299
for (var i=0; i<tabs.childNodes.length; i++)
301
/* Find the href of the link within */
302
if (!tabs.childNodes[i].getElementsByTagName) continue;
303
a = tabs.childNodes[i].getElementsByTagName("a");
304
if (a.length == 0) continue;
305
href = a[0].getAttribute("href");
306
if (href == null) continue;
307
if (endswith(href, this_app))
308
tab_files = tabs.childNodes[i];
309
else if (endswith(href, edit_app))
310
tab_edit = tabs.childNodes[i];
315
tab_files.removeAttribute("class");
316
tab_edit.setAttribute("class", "thisapp");
320
tab_edit.removeAttribute("class");
321
tab_files.setAttribute("class", "thisapp");
196
325
/*** HANDLERS for different types of responses (such as dir listing, file,
199
328
function handle_error(message)
201
/* TODO: Find a better place to put this message. */
202
var msg_elem = document.getElementById("path");
203
var txt_elem = dom_make_text_elem("span", "Error: "
331
var files = document.getElementById("filesbody");
332
var txt_elem = dom_make_text_elem("div", "Error: "
204
333
+ message.toString() + ".")
205
txt_elem.setAttribute("class", "error");
206
msg_elem.appendChild(txt_elem)
334
txt_elem.setAttribute("class", "padding error");
335
files.appendChild(txt_elem);
209
338
/** Presents a path list (address bar inside the page) for clicking.
212
340
function presentpath(path)
214
342
var dom_path = document.getElementById("path");
216
343
var href_path = make_path(this_app);
347
/* Also set the document title */
348
document.title = path_basename(path) + " - IVLE";
218
349
/* Create all of the paths */
219
for each (dir in path.split("/"))
350
var pathlist = path.split("/");
351
for (var i=0; i<pathlist.length; i++)
221
354
if (dir == "") continue;
223
355
/* Make an 'a' element */
224
356
href_path = path_join(href_path, dir);
225
var link = dom_make_link_elem("a", dir, href_path,
226
"navigate(" + href_path + ")");
357
nav_path = path_join(nav_path, dir);
358
var link = dom_make_link_elem("a", dir, "Navigate to " + nav_path,
359
href_path/*, "navigate(" + repr(href_path) + ")"*/);
227
360
dom_path.appendChild(link);
228
361
dom_path.appendChild(document.createTextNode("/"));
232
/** Presents the directory listing.
234
function handle_dir_listing(path, listing)
238
/* Nav through the top-level of the JSON to the actual listing object. */
239
var listing = listing.listing;
241
/* Get "." out, it's special */
242
var thisdir = listing["."];
244
/* Is this dir under svn? */
245
var under_subversion = "svnstatus" in thisdir;
247
var files = document.getElementById("files");
253
/* Create all of the files */
254
for (var filename in listing)
256
file = listing[filename];
257
/* Make a 'tr' element */
258
row = document.createElement("tr");
259
/* Column 1: Selection checkbox */
260
row.setAttribute("class", "row" + row_toggle.toString())
261
row_toggle = row_toggle == 1 ? 2 : 1;
262
td = document.createElement("td");
263
checkbox = document.createElement("input");
264
checkbox.setAttribute("type", "checkbox");
265
checkbox.setAttribute("title", "Select this file");
266
td.appendChild(checkbox);
270
/* Column 2: Filetype and subversion icons. */
271
td = document.createElement("td");
272
td.setAttribute("class", "thincol");
273
td.appendChild(document.createTextNode("dir"));
275
td = document.createElement("td");
276
td.setAttribute("class", "thincol");
277
if (under_subversion)
278
td.appendChild(document.createTextNode(file.svnstatus));
280
/* Column 3: Filename */
281
row.appendChild(dom_make_link_elem("td", filename,
282
make_path(path_join(this_app, path, filename)),
283
"navigate(" + path_join(path, filename) + ")"));
287
/* Column 2: Filetype and subversion icons. */
288
td = document.createElement("td");
289
td.setAttribute("class", "thincol");
290
td.appendChild(document.createTextNode(file.type));
292
td = document.createElement("td");
293
td.setAttribute("class", "thincol");
294
if (under_subversion)
295
td.appendChild(document.createTextNode(file.svnstatus));
297
/* Column 3: Filename */
298
row.appendChild(dom_make_text_elem("td", filename));
301
row.appendChild(dom_make_text_elem("td", nice_filesize(file.size)));
303
row.appendChild(dom_make_text_elem("td", file.mtime_nice));
304
files.appendChild(row);
309
/** Presents the text editor.
311
function handle_text(path, text)
363
dom_path.removeChild(dom_path.lastChild);
366
/** Given a mime type, returns the path to the icon.
367
* \param type String, Mime type.
368
* \param sizelarge Boolean, optional.
369
* \return Path to the icon. Has applied make_path, so it is relative to site
372
function mime_type_to_icon(type, sizelarge)
375
if (type in type_icons)
376
filename = type_icons[type];
378
filename = default_type_icon;
380
return make_path(path_join(type_icons_path_large, filename));
382
return make_path(path_join(type_icons_path, filename));
385
/** Given an svnstatus, returns the path to the icon.
386
* \param type String, svn status.
387
* \return Path to the icon. Has applied make_path, so it is relative to site
388
* root. May return null to indicate no SVN icon.
390
function svnstatus_to_icon(svnstatus)
393
if (svnstatus in svn_icons)
394
filename = svn_icons[svnstatus];
396
filename = default_svn_icon;
397
if (filename == null) return null;
398
return make_path(path_join(svn_icons_path, filename));
401
/** Given an svnstatus, returns the "nice" string.
403
function svnstatus_to_string(svnstatus)
405
if (svnstatus in svn_nice)
406
return svn_nice[svnstatus];
408
return default_svn_nice;
317
411
/** Displays a download link to the binary file.
319
413
function handle_binary(path)
416
var files = document.getElementById("filesbody");
417
var div = document.createElement("div");
418
files.appendChild(div);
419
div.setAttribute("class", "padding");
420
var download_link = app_path(download_app, path);
421
var par1 = dom_make_text_elem("p",
422
"The file " + path + " is a binary file. To download this file, " +
423
"click the following link:");
424
var par2 = dom_make_link_elem("p",
425
"Download " + path, "Download " + path, download_link);
426
div.appendChild(par1);
427
div.appendChild(par2);
325
430
/** Called when the page loads initially.