migrated a toggle button label variant

pull/95/head
jmoenig 2020-02-21 18:37:30 +01:00
rodzic d62ec38a7c
commit 66b1104287
2 zmienionych plików z 3 dodań i 2 usunięć

Wyświetl plik

@ -41,7 +41,7 @@
null,
null,
() => world.isDevMode = !world.isDevMode,
'dev mode',
new SymbolMorph('gears'), //'dev mode',
() => world.isDevMode,
null,
'hacker possibilities'

Wyświetl plik

@ -863,7 +863,8 @@ ToggleButtonMorph.prototype.createLabel = function () {
this.labelShadowOffset : none;
this.label.shadowColor = this.labelShadowColor;
this.label.color = this.labelColor;
this.label.drawNew();
this.label.fixLayout();
this.label.rerender();
}
} else if (this.labelString instanceof Morph) {
this.label = this.labelString.fullCopy();