Adapt default scroll bar thickness to display scale factor.

Widgets-mt.537
hpi-swa · Feb 22, 2018 · 6418a7e · 6418a7e
1 parent bf51ffa
commit 6418a7e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/repository/Widgets.package/UiScrollArea.class/instance/scrollBarThickness.st b/repository/Widgets.package/UiScrollArea.class/instance/scrollBarThickness.st
@@ -1,4 +1,4 @@
 accessing
 scrollBarThickness
 
-	^ scrollBarThickness ifNil: [scrollBarThickness := 9]
+	^ scrollBarThickness ifNil: [scrollBarThickness := (9 * RealEstateAgent scaleFactor) rounded]
diff --git a/repository/Widgets.package/UiScrollArea.class/methodProperties.json b/repository/Widgets.package/UiScrollArea.class/methodProperties.json
@@ -32,7 +32,7 @@
 		"outerBorderWidth" : "mt 3/29/2011 10:30:04.954",
 		"outerBorderWidth:" : "mt 3/29/2011 10:28:48.321",
 		"outerBounds" : "mt 3/29/2011 10:29:04.634",
-		"scrollBarThickness" : "mt 6/10/2011 11:38:32.374",
+		"scrollBarThickness" : "mt 2/22/2018 09:42",
 		"scrollBarThickness:" : "mt 4/8/2011 10:11:25.649",
 		"scrollToBottom" : "mt 4/18/2011 17:45:18.292",
 		"scrollToShow:" : "mt 10/18/2015 12:28:55",

diff --git a/repository/Widgets.package/monticello.meta/version b/repository/Widgets.package/monticello.meta/version