factor/library/ui/scrolling.factor

102 lines
2.8 KiB
Factor
Raw Normal View History

2005-03-10 17:57:22 -05:00
! Copyright (C) 2005 Slava Pestov.
! See http://factor.sf.net/license.txt for BSD license.
2005-02-26 00:57:53 -05:00
IN: gadgets
USING: generic kernel lists math matrices namespaces sequences
2005-06-27 03:47:22 -04:00
threads vectors styles ;
2005-02-26 00:57:53 -05:00
! A viewport can be scrolled.
2005-07-17 00:21:10 -04:00
TUPLE: viewport origin bottom? ;
! A scroller combines a viewport with two x and y sliders.
TUPLE: scroller viewport x y ;
2005-07-17 00:21:10 -04:00
: viewport-dim gadget-child pref-dim ;
: fix-scroll ( origin viewport -- origin )
dup rect-dim swap viewport-dim v- vmax { 0 0 0 } vmin ;
2005-02-27 16:51:12 -05:00
C: viewport ( content -- viewport )
2005-07-13 21:03:34 -04:00
<gadget> over set-delegate
2005-07-08 01:32:29 -04:00
t over set-gadget-root?
2005-02-27 16:51:12 -05:00
[ add-gadget ] keep
{ 0 0 0 } over set-viewport-origin ;
2005-02-27 16:51:12 -05:00
2005-06-28 23:50:23 -04:00
M: viewport pref-dim gadget-child pref-dim ;
2005-03-07 23:15:00 -05:00
2005-07-17 00:21:10 -04:00
: viewport-origin* ( viewport -- point )
dup viewport-bottom? [
f over set-viewport-bottom?
dup viewport-dim { 0 -1 0 } v*
2005-07-17 00:21:10 -04:00
[ swap set-viewport-origin ] keep
] [
viewport-origin
] ifte ;
2005-02-27 16:51:12 -05:00
M: viewport layout* ( viewport -- )
2005-07-17 00:21:10 -04:00
dup gadget-child dup prefer
>r dup viewport-origin* swap fix-scroll r>
set-rect-loc ;
M: viewport focusable-child* ( viewport -- gadget )
gadget-child ;
2005-08-27 01:41:42 -04:00
: set-slider ( page max value slider -- )
#! page/max/value are 3-vectors.
[ [ slider-vector v. ] keep set-slider-value ] keep
[ [ slider-vector v. ] keep set-slider-max ] keep
[ [ slider-vector v. ] keep set-slider-page ] keep
fix-slider ;
: update-slider ( scroller slider -- )
>r dup rect-dim
over viewport-dim
rot scroller-viewport viewport-origin vneg
r> set-slider ;
2005-02-26 02:11:25 -05:00
: update-sliders ( scroller -- )
2005-08-26 21:42:43 -04:00
dup
2005-08-27 01:41:42 -04:00
dup scroller-x update-slider
dup scroller-y update-slider ;
2005-06-23 03:15:44 -04:00
2005-07-20 16:03:03 -04:00
: scroll ( origin scroller -- )
2005-08-27 00:22:19 -04:00
[
scroller-viewport [ fix-scroll ] keep
[ set-viewport-origin ] keep
relayout
] keep update-sliders ;
2005-02-27 16:00:55 -05:00
2005-03-10 22:52:55 -05:00
: add-viewport 2dup set-scroller-viewport add-center ;
: add-x-slider 2dup set-scroller-x add-bottom ;
: add-y-slider 2dup set-scroller-y add-right ;
2005-02-27 16:00:55 -05:00
2005-03-11 21:41:46 -05:00
: (scroll>bottom) ( scroller -- )
t swap scroller-viewport set-viewport-bottom? ;
2005-03-10 17:57:22 -05:00
2005-03-11 21:41:46 -05:00
: scroll>bottom ( gadget -- )
[ scroll>bottom ] swap handle-gesture drop ;
2005-03-10 17:57:22 -05:00
2005-08-27 00:22:19 -04:00
: scroll-by ( amount scroller -- )
[ scroller-viewport viewport-origin v+ ] keep scroll ;
2005-07-20 16:03:03 -04:00
2005-08-27 00:22:19 -04:00
: scroll-up-line { 0 32 0 } swap scroll-by ;
2005-08-27 00:22:19 -04:00
: scroll-down-line { 0 -32 0 } swap scroll-by ;
2005-03-12 16:16:40 -05:00
: scroller-actions ( scroller -- )
2005-07-20 16:03:03 -04:00
dup [ (scroll>bottom) ] [ scroll>bottom ] set-action
dup [ scroll-up-line ] [ button-down 4 ] set-action
[ scroll-down-line ] [ button-down 5 ] set-action ;
2005-03-12 16:16:40 -05:00
2005-02-27 16:00:55 -05:00
C: scroller ( gadget -- scroller )
#! Wrap a scrolling pane around the gadget.
2005-03-10 22:52:55 -05:00
<frame> over set-delegate
2005-02-27 16:00:55 -05:00
[ >r <viewport> r> add-viewport ] keep
2005-07-20 16:03:03 -04:00
<x-slider> over add-x-slider
<y-slider> over add-y-slider
2005-03-10 17:57:22 -05:00
dup scroller-actions ;
M: scroller focusable-child* ( viewport -- gadget )
scroller-viewport ;