Merge pull request #577 from Rinzwind/playground-display-scale-factor

Make #defaultExtent and #preferredExtent in playground presenters take the display scale factor into account
pharo-spec · Aug 10, 2023 · f9e25b6 · f9e25b6
2 parents 4522bfb + aa4ff88
commit f9e25b6
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/src/NewTools-Playground/StPlaygroundBindingsPresenter.class.st b/src/NewTools-Playground/StPlaygroundBindingsPresenter.class.st
@@ -19,7 +19,7 @@ Class {
 { #category : #accessing }
 StPlaygroundBindingsPresenter class >> defaultExtent [
 
-	^ 600@400
+	^ (600@400) scaledByDisplayScaleFactor
 ]
 
 { #category : #accessing }

diff --git a/src/NewTools-Playground/StPlaygroundPageVersionsPresenter.class.st b/src/NewTools-Playground/StPlaygroundPageVersionsPresenter.class.st
@@ -17,7 +17,7 @@ Class {
 { #category : #accessing }
 StPlaygroundPageVersionsPresenter class >> preferredExtent [
 
-	^ 700@400
+	^ (700@400) scaledByDisplayScaleFactor
 ]
 
 { #category : #actions }

diff --git a/src/NewTools-Playground/StPlaygroundPagesPresenter.class.st b/src/NewTools-Playground/StPlaygroundPagesPresenter.class.st
@@ -20,7 +20,7 @@ Class {
 { #category : #accessing }
 StPlaygroundPagesPresenter class >> defaultExtent [
 
-	^ 700@400
+	^ (700@400) scaledByDisplayScaleFactor
 ]
 
 { #category : #layout }

diff --git a/src/NewTools-Playground/StPlaygroundPresenter.class.st b/src/NewTools-Playground/StPlaygroundPresenter.class.st
@@ -74,7 +74,7 @@ StPlaygroundPresenter class >> defaultCacheDirectory [
 { #category : #accessing }
 StPlaygroundPresenter class >> defaultExtent [
 
-	^ 600@400
+	^ (600@400) scaledByDisplayScaleFactor
 ]
 
 { #category : #accessing }