1 line
1.4 KiB
Smalltalk
1 line
1.4 KiB
Smalltalk
'From Squeak6.0alpha of 8 October 2020 [latest update: #19909] on 29 November 2021 at 12:41:42 pm'!
|
|
|
|
!AbstractResizerMorph class methodsFor: 'preferences' stamp: 'tonyg 10/6/2020 00:49'!
|
|
gripThickness
|
|
"A number in pixels that encodes the area were the user can target splitters or edge grips."
|
|
|
|
<preference: 'Grip Thickness'
|
|
category: 'windows'
|
|
description: 'A number in pixels that encodes the area were the user can target splitters or edge grips such as in application windows. Bigger grips make it easier to click on them.'
|
|
type: #Number>
|
|
|
|
^ GripThickness ifNil: [(UserInterfaceTheme current get: #gripThickness) ifNil: [4]]! !
|
|
|
|
!AbstractResizerMorph class methodsFor: 'preferences' stamp: 'tonyg 10/6/2020 01:03'!
|
|
handleLength
|
|
|
|
<preference: 'Handle Length'
|
|
category: 'windows'
|
|
description: 'AThe size of a grip handle if shown. Can be interpreted as width or height, depending of the resizer orientation. Does not affect the clickable area. See grip thickness for that.'
|
|
type: #Number>
|
|
|
|
^ HandleLength ifNil: [(UserInterfaceTheme current get: #handleLength) ifNil: [25]]! !
|
|
|
|
|
|
!ScrollPane class methodsFor: 'defaults' stamp: 'tonyg 10/6/2020 11:21'!
|
|
scrollBarThickness
|
|
^ Preferences scrollBarsNarrow
|
|
ifTrue: [(UserInterfaceTheme current get: #scrollBarThicknessNarrow) ifNil: [10]]
|
|
ifFalse: [(UserInterfaceTheme current get: #scrollBarThickness) ifNil: [14]]! !
|
|
|