MiniScroller.st
changeset 5948 fd5f4677ea52
parent 5628 57821ff41509
child 6493 8707ca079e1f
equal deleted inserted replaced
5947:e20b025f658d 5948:fd5f4677ea52
   130     w := defExt x.
   130     w := defExt x.
   131     h := defExt y.
   131     h := defExt y.
   132 
   132 
   133     orientation == #vertical ifTrue:[
   133     orientation == #vertical ifTrue:[
   134         w := (device horizontalPixelPerMillimeter asFloat * mm) rounded.
   134         w := (device horizontalPixelPerMillimeter asFloat * mm) rounded.
   135         "/ dont let it become too small for thumb ...
   135         "/ don't let it become too small for thumb ...
   136         w := w max:((level abs + thumbLevel) * 2 + 1).
   136         w := w max:((level abs + thumbLevel) * 2 + 1).
   137     ] ifFalse:[
   137     ] ifFalse:[
   138         h := (device verticalPixelPerMillimeter asFloat * mm) rounded.
   138         h := (device verticalPixelPerMillimeter asFloat * mm) rounded.
   139         "/ dont let it become too small for thumb ...
   139         "/ don't let it become too small for thumb ...
   140         h := h max:((level abs + thumbLevel) * 2 + 1).
   140         h := h max:((level abs + thumbLevel) * 2 + 1).
   141     ].
   141     ].
   142     preferredExtent := w @ h.
   142     preferredExtent := w @ h.
   143     ^ preferredExtent.
   143     ^ preferredExtent.
   144 
   144