Function reloadIndex

scripts/dom.js:532–536

(fromSetOfflineMode = false)

}

async function reloadIndex(fromSetOfflineMode = false)
{
	indexLabel = prevIndexLabel;
	loadIndexPage(true, history.path, true, true, history.mainPath, false, true, fromSetOfflineMode);
}

function reload(fromSetOfflineMode = false)
{