From e1a30927139796bf9d1cd70bdf3d0189385f4637 Mon Sep 17 00:00:00 2001 From: jmoenig Date: Thu, 16 May 2013 14:38:37 +0200 Subject: "Flat" GUI design preference in the IDE's settings menu --- paint.js | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'paint.js') diff --git a/paint.js b/paint.js index a7b36e3..80e6295 100644 --- a/paint.js +++ b/paint.js @@ -47,6 +47,7 @@ ---------------- May 10 - first full release (Kartik) May 14 - bugfixes (bugfixes, Snap integration (Jens) + May 16 - flat design adjustments (Jens) */ @@ -54,12 +55,13 @@ FrameMorph, PushButtonMorph, Color, SymbolMorph, newCanvas, Morph, TextMorph, CostumeIconMorph, IDE_Morph, Costume, SpriteMorph, nop, Image, WardrobeMorph, TurtleIconMorph, localize, MenuMorph, InputFieldMorph, SliderMorph, - ToggleMorph, ToggleButtonMorph, BoxMorph, modules, radians + ToggleMorph, ToggleButtonMorph, BoxMorph, modules, radians, + MorphicPreferences */ // Global stuff //////////////////////////////////////////////////////// -modules.paint = '2013-May-14'; +modules.paint = '2013-May-16'; // Declarations @@ -118,7 +120,10 @@ PaintEditorMorph.prototype.buildContents = function () { this.toolbox = new BoxMorph(); this.toolbox.color = SpriteMorph.prototype.paletteColor.lighter(8); - this.toolbox.borderColor = this.toolbox.color.lighter(40); + this.toolbox.borderColor = this.toolbox.color.lighter(40); + if (MorphicPreferences.isFlat) { + this.toolbox.edge = 0; + } this.buildToolbox(); this.controls.add(this.toolbox); -- cgit v1.3.1