dc: make sure we scale layoutInset to hidpi

hpi-swa-lab · Nov 30, 2023 · 66af4c2 · 66af4c2
1 parent 2d6c155
commit 66af4c2
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/packages/DomainCode-Parser/DCBlock.class.st b/packages/DomainCode-Parser/DCBlock.class.st
@@ -1306,6 +1306,7 @@ DCBlock class >> tlaplusSourceFile [
 	^ {
 		[:x | x language = SBTlaplus].
 		[:x | x type = #module].
+		[:x | false].
 		[:x |
 			x
 				ensureReplacement: DCTlaplusModule
@@ -2416,10 +2417,10 @@ DCBlock >> layoutCommands [
 { #category : #'as yet unclassified' }
 DCBlock >> layoutInset [
 
-	false ifTrue: [^ 5].
-	self isBlockBody ifTrue: [^ 4 @ 3].
+	false ifTrue: [^ 5 sbScaled].
+	self isBlockBody ifTrue: [^ (4 @ 3) sbScaled].
 	
-	^ 2 @ (self submorphCount > 3 ifTrue: [2] ifFalse: [0])
+	^ (2 @ (self submorphCount > 3 ifTrue: [2] ifFalse: [0])) sbScaled
 ]
 
 { #category : #'as yet unclassified' }