716
/** Gets the current path of the window. Requires this_app to be defined */
717
function get_path() {
718
var path = parse_url(window.location.href).path;
719
/* Strip out root_dir + "/files" from the front of the path */
720
var strip = make_path(this_app);
721
if (path.substr(0, strip.length) == strip)
722
path = path.substr(strip.length+1);
725
/* See if this is an edit path */
726
strip = make_path(edit_app);
727
if (path.substr(0, strip.length) == strip)
729
path = path.substr(strip.length+1);
733
if (path.length == 0)
735
/* Navigate to the user's home directory by default */