make stage handle darker

upd4.2
Michael Aschauer 2018-10-02 16:30:44 +02:00
rodzic a3bfefdef9
commit 26a8aa9cf6
3 zmienionych plików z 11 dodań i 4 usunięć

1
gui.js
Wyświetl plik

@ -4825,7 +4825,6 @@ IDE_Morph.prototype.setLanguage = function (lang, callback) {
myself.reflectLanguage(lang, callback);
};
document.head.appendChild(translation);
console.log(translation)
translation.src = src;
};

Wyświetl plik

@ -141,6 +141,16 @@ IDE_Morph.prototype.buildPanes = function () {
};
StageHandleMorph.prototype.init = function (target) {
this.target = target || null;
HandleMorph.uber.init.call(this);
this.color = MorphicPreferences.isFlat ?
new Color(125, 125, 125) : new Color(190, 190, 190);
this.isDraggable = false;
this.noticesTransparentClick = true;
this.setExtent(new Point(12, 50));
};
IDE_Morph.prototype.origSetStageExtent = IDE_Morph.prototype.setStageExtent;
IDE_Morph.prototype.setStageExtent = function (aPoint) {
this.origSetStageExtent(aPoint);

Wyświetl plik

@ -14,9 +14,7 @@ SnapSerializer.prototype.openProject = function (project, ide) {
ide.origCreator = project.origCreator || '';
ide.creator = project.creator || '';
ide.remixHistory = project.remixHistorycreat || '';
console.log("name: " + ide.projectName + ", creator: " + ide.creator + ", origName: " + ide.origName + ", origCreator: " + ide.origCreator);
//console.log("name: " + ide.projectName + ", creator: " + ide.creator + ", origName: " + ide.origName + ", origCreator: " + ide.origCreator);
if (ide.globalVariables) {
ide.globalVariables = project.globalVariables;
}