adjusted push-button outlines for bright gui theme

jmoenig · Oct 28, 2024 · 519c106 · 519c106
1 parent dde1619
commit 519c106
Show file tree

Hide file tree

Showing 4 changed files with 18 additions and 4 deletions.
diff --git a/HISTORY.md b/HISTORY.md
@@ -2,6 +2,14 @@
 
 ## in development:
 
+## 10.1.9:
+* **Notable Changes:**
+    * adjusted push-button outlines for bright gui theme
+
+### 2024-10-22
+* gui: tweaked push button outlines for bright theme
+* prepared v10.1.9 patch
+
 ## 10.1.8:
 * **Notable Fixes:**
     * updated the text costumes library with a special case for a space character

diff --git a/snap.html b/snap.html
@@ -20,7 +20,7 @@
         <script src="src/threads.js?version=2024-10-15"></script>
         <script src="src/objects.js?version=2024-10-18"></script>
         <script src="src/scenes.js?version=2024-05-28"></script>
-        <script src="src/gui.js?version=2024-10-22"></script>
+        <script src="src/gui.js?version=2024-10-28"></script>
         <script src="src/paint.js?version=2023-05-24"></script>
         <script src="src/lists.js?version=2024-09-16"></script>
         <script src="src/byob.js?version=2024-10-10"></script>

diff --git a/src/gui.js b/src/gui.js
@@ -87,11 +87,11 @@ BlockVisibilityDialogMorph, ThreadManager, isString, SnapExtensions, snapEquals
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2024-October-22';
+modules.gui = '2024-October-28';
 
 // Declarations
 
-var SnapVersion = '10.1.8';
+var SnapVersion = '10.1.9';
 
 var IDE_Morph;
 var ProjectDialogMorph;
@@ -136,6 +136,9 @@ IDE_Morph.prototype.setFlatDesign = function () {
 IDE_Morph.prototype.setDefaultTheme = function () { // dark
     IDE_Morph.prototype.isBright = false;
 
+    PushButtonMorph.prototype.outlineColor = new Color(30, 30, 30);
+    PushButtonMorph.prototype.outlineGradient = false;
+
     SpriteMorph.prototype.paletteColor = new Color(30, 30, 30);
     SpriteMorph.prototype.paletteTextColor = new Color(230, 230, 230);
     StageMorph.prototype.paletteTextColor
@@ -179,6 +182,9 @@ IDE_Morph.prototype.setDefaultTheme = function () { // dark
 IDE_Morph.prototype.setBrightTheme = function () {
     IDE_Morph.prototype.isBright = true;
 
+    PushButtonMorph.prototype.outlineColor = new Color(255, 255, 255);
+    PushButtonMorph.prototype.outlineGradient = true;
+
     SpriteMorph.prototype.paletteColor = WHITE;
     SpriteMorph.prototype.paletteTextColor = new Color(70, 70, 70);
     StageMorph.prototype.paletteTextColor

diff --git a/sw.js b/sw.js
@@ -1,6 +1,6 @@
 /*global self, caches*/
 /*jshint esversion: 6*/
-var snapVersion = '10.1.8',
+var snapVersion = '10.1.9',
     cacheName = `snap-pwa-${snapVersion}`,
     filesToCache = [
         'snap.html',