new parameters to allow embedding projects

pull/3/merge
Bernat Romagosa 2015-04-10 13:18:03 +02:00
rodzic ea05f7859f
commit 30caffbf02
1 zmienionych plików z 15 dodań i 2 usunięć

17
gui.js
Wyświetl plik

@ -364,8 +364,21 @@ IDE_Morph.prototype.openIn = function (world) {
myself.shield.destroy();
myself.shield = null;
msg.destroy();
myself.toggleAppMode(true);
myself.runScripts();
if (dict.editMode) {
myself.toggleAppMode(false);
} else {
myself.toggleAppMode(true);
}
if (!dict.noRun) {
myself.runScripts();
}
if (dict.hideControls) {
myself.controlBar.hide();
window.onbeforeunload = function (evt) {};
}
}
]);
},