From 519c1061e4e3a8504da2336492c808ddc6c74f0f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jens=20M=C3=B6nig?= <jens@moenig.org>
Date: Mon, 28 Oct 2024 16:59:46 +0100
Subject: [PATCH] adjusted push-button outlines for bright gui theme

---
 HISTORY.md |  8 ++++++++
 snap.html  |  2 +-
 src/gui.js | 10 ++++++++--
 sw.js      |  2 +-
 4 files changed, 18 insertions(+), 4 deletions(-)

diff --git a/HISTORY.md b/HISTORY.md
index 775cab89b..7d8fb4c38 100755
--- 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
index e66bbdcb7..56bb825a7 100755
--- 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
index 5d2e0e116..6fc8ed32d 100644
--- 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
index 07eaa8ade..2443adc7a 100644
--- 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',