From 76dccc32b1f3def9218b0af1b56ae9bc4f5ac458 Mon Sep 17 00:00:00 2001
From: Alx Sa <cmyk.student@gmail.com>
Date: Sun, 30 Mar 2025 18:35:26 +0000
Subject: [PATCH] themes: Another round of System Theme leak fixes

Based on user reports after the 3.0 release.
These leaks were most visible in the Preferences dialogue,
and cover too large checkboxes and radio boxes, wrong colors
for scrolled window backgrounds, sliders, scales, and
Preference Dialog headers.
---
 themes/Default/common.css | 36 +++++++++++++++++++++++++++++++-----
 1 file changed, 31 insertions(+), 5 deletions(-)

diff --git a/themes/Default/common.css b/themes/Default/common.css
index 465d38969b..602bae0787 100644
--- a/themes/Default/common.css
+++ b/themes/Default/common.css
@@ -326,6 +326,7 @@ scale contents trough
 }
 scale contents trough highlight
 {
+  background-image: none;
   background-color: @scrollbar-slider-color;
   border-color:     @scrollbar-slider-color;
 }
@@ -334,6 +335,10 @@ scale contents trough highlight:disabled
   background-color: transparent;
   border-color:     transparent;
 }
+scale slider {
+  min-height: 26px;
+  min-width:  22px;
+}
 
 scrollbar {
   background-color: @bg-color;
@@ -355,7 +360,12 @@ scrollbar slider {
 }
 
 scrolledwindow {
-  border-color: @edge-border-color;
+  border-color:        @edge-border-color;
+  border-image-source: none;
+}
+
+scrolledwindow viewport {
+  background-color: @bg-color;
 }
 
 /* Removes black border around scrolled windows */
@@ -369,6 +379,12 @@ scrolledwindow viewport grid, scrolledwindow viewport box {
   background-color: @extreme-bg-color;
 }
 
+/* Define background on items in Preferences header */
+GimpPrefsBox widget box label,
+GimpPrefsBox widget box image {
+  background-color: transparent;
+}
+
 GimpRuler {
   background-color: @ruler-color;
 }
@@ -573,13 +589,23 @@ checkbutton:checked label, radiobutton:checked label {
   font-weight: bold;
 }
 
+check {
+  background-clip: padding-box;
+  margin:          0px 4px;
+  min-width:       14px;
+  min-height:      14px;
+  padding:         0px;
+}
+
 /* Some plugins have radio buttons, e.g. Fractal Explorer */
 radio {
-  background-image: none;
   background-color: @extreme-bg-color;
-  border: 1px solid @stronger-border-color;
-  border-radius: 100%;
-  color: @fg-color;
+  background-image: none;
+  border:           1px solid @stronger-border-color;
+  border-radius:    100%;
+  color:            @fg-color;
+  min-width:        14px;
+  min-height:       14px;
 }
 
 /* Removes "blurred" effect from tooltip label */