// Editor specific functions
function bodyLoad(version) {
if (history.state !== undefined) {
onpopstate(history);
}