in 0.5.0-incubating/hive/scaladocs/lib/index.js [67:77]
function setFrameSrcFromUrlFragment() {
var fragment = location.hash.slice(1);
if(fragment) {
var loc = fragment.split("@")[0].replace(/\./g, "/");
if(loc.indexOf(".html") < 0) loc += ".html";
if(fragment.indexOf('@') > 0) loc += ("#" + fragment.split("@", 2)[1]);
frames["template"].location.replace(loc);
}
else
frames["template"].location.replace("package.html");
}