Hot themeing tweaks

theme/default.go

@@ -144,10 +144,18 @@ func (Default) Pattern (
 			}
 		}
 	case PatternGutter:
-		if state.Disabled {
-			return disabledScrollGutterPattern
+		if c == C("basic", "sliderVertical") || c == C("basic", "sliderHorizontal") {
+			if state.Disabled {
+				return disabledThinScrollGutterPattern
+			} else {
+				return thinScrollGutterPattern
+			}
 		} else {
-			return scrollGutterPattern
+			if state.Disabled {
+				return disabledScrollGutterPattern
+			} else {
+				return scrollGutterPattern
+			}
 		}
 	case PatternHandle:
 		if state.Disabled {

theme/defaultpatterns.go

@@ -207,9 +207,19 @@ var scrollGutterPattern = artist.NewMultiBordered (
 		},
 	},
 	artist.Stroke { Pattern: artist.NewUniform(hex(0x6e8079FF)) })
+var thinScrollGutterPattern = artist.Padded {
+	Fill: scrollGutterPattern,
+	Stroke: sunkenPattern,
+	Sides: []int{  6, 6, 6, 6 },
+}
 var disabledScrollGutterPattern = artist.NewMultiBordered (
 	artist.Stroke { Weight: 1, Pattern: weakForegroundPattern },
 	artist.Stroke { Pattern: backgroundPattern })
+var disabledThinScrollGutterPattern = artist.Padded {
+	Fill: disabledScrollGutterPattern,
+	Stroke: disabledButtonPattern,
+	Sides: []int{ 6, 6, 6, 6},
+}
 var scrollBarPattern = artist.NewMultiBordered (
 	artist.Stroke { Weight: 1, Pattern: strokePattern },
 	artist.Stroke {