Handbook
Glossary
pref-viewport-dim ( gadget -- dim )
Vocabulary
ui
.
gadgets
.
scrollers
Inputs
gadget
an
object
Outputs
dim
an
object
Definition
IN:
ui.gadgets.scrollers
GENERIC:
pref-viewport-dim
( gadget -- dim )
Methods
USING:
ui.gadgets
ui.gadgets.scrollers
;
M:
gadget
pref-viewport-dim
pref-dim
;
USING:
accessors
kernel
ui.gadgets.line-support
ui.gadgets.scrollers
;
M:
line-gadget
pref-viewport-dim
[
pref-viewport-dim>>
]
[
[
pref-viewport-dim*
]
[
]
[
layout-state>>
]
tri
[
drop
]
[
dupd
pref-viewport-dim<<
]
if
]
?unless
;