340
340
var dom_path = document.getElementById("path");
341
341
var href_path = make_path(this_app);
344
345
/* Also set the document title */
345
346
document.title = path_basename(path) + " - IVLE";
346
347
/* Create all of the paths */
350
353
/* Make an 'a' element */
351
354
href_path = path_join(href_path, dir);