make the color of the %pause symbol more yellowish

pull/3/merge
jmoenig 2014-07-11 12:34:37 +02:00
rodzic 05c7482688
commit 900c7e068b
2 zmienionych plików z 3 dodań i 2 usunięć

Wyświetl plik

@ -155,7 +155,7 @@ DialogBoxMorph, BlockInputFragmentMorph, PrototypeHatBlockMorph, Costume*/
// Global stuff //////////////////////////////////////////////////////// // Global stuff ////////////////////////////////////////////////////////
modules.blocks = '2014-July-08'; modules.blocks = '2014-July-11';
var SyntaxElementMorph; var SyntaxElementMorph;
@ -1271,7 +1271,7 @@ SyntaxElementMorph.prototype.labelPart = function (spec) {
case '%pause': case '%pause':
part = new SymbolMorph('pause'); part = new SymbolMorph('pause');
part.size = this.fontSize; part.size = this.fontSize;
part.color = new Color(160, 80, 0); part.color = new Color(255, 220, 0);
part.isProtectedLabel = true; // doesn't participate in zebraing part.isProtectedLabel = true; // doesn't participate in zebraing
part.shadowColor = this.color.darker(this.labelContrast); part.shadowColor = this.color.darker(this.labelContrast);
part.shadowOffset = MorphicPreferences.isFlat ? part.shadowOffset = MorphicPreferences.isFlat ?

Wyświetl plik

@ -2192,3 +2192,4 @@ ______
------ ------
* Morphic: keyboard shortcut ctrl/cmd-shift-a for @ * Morphic: keyboard shortcut ctrl/cmd-shift-a for @
* Morphic: allow directly editing properties in inspector widgets * Morphic: allow directly editing properties in inspector widgets
* Blocks: change the color of the %pause symbol to be more yellowish