2006-05-26 02:29:44 -04:00
|
|
|
! Copyright (C) 2005, 2006 Slava Pestov.
|
|
|
|
! See http://factorcode.org/license.txt for BSD license.
|
2005-08-31 21:06:13 -04:00
|
|
|
IN: gadgets-scrolling
|
2006-06-12 03:21:08 -04:00
|
|
|
USING: arrays gadgets gadgets-frames gadgets-theme
|
|
|
|
gadgets-viewports generic kernel math namespaces sequences ;
|
2005-06-22 02:32:17 -04:00
|
|
|
|
2005-07-20 18:04:29 -04:00
|
|
|
! A scroller combines a viewport with two x and y sliders.
|
2006-06-25 18:21:18 -04:00
|
|
|
! The follows slot is set by scroll>gadget.
|
2005-10-10 21:12:53 -04:00
|
|
|
TUPLE: scroller viewport x y follows ;
|
2005-07-20 18:04:29 -04:00
|
|
|
|
2005-10-29 23:25:38 -04:00
|
|
|
: scroller-origin ( scroller -- { x y 0 } )
|
2005-08-29 18:18:10 -04:00
|
|
|
dup scroller-x slider-value
|
|
|
|
swap scroller-y slider-value
|
2006-06-23 00:06:53 -04:00
|
|
|
2array ;
|
2005-08-29 18:18:10 -04:00
|
|
|
|
|
|
|
: find-scroller [ scroller? ] find-parent ;
|
2005-06-22 02:32:17 -04:00
|
|
|
|
2006-06-25 18:21:18 -04:00
|
|
|
: scroll>gadget ( gadget -- )
|
2006-05-24 03:23:45 -04:00
|
|
|
#! Scroll the scroller that contains this gadget, if any, so
|
|
|
|
#! that the gadget becomes visible.
|
|
|
|
dup find-scroller dup
|
|
|
|
[ [ set-scroller-follows ] keep relayout ] [ 2drop ] if ;
|
2005-09-03 16:28:42 -04:00
|
|
|
|
2006-05-24 03:23:45 -04:00
|
|
|
: scroll-up-line scroller-y -1 swap slide-by-line ;
|
|
|
|
|
|
|
|
: scroll-down-line scroller-y 1 swap slide-by-line ;
|
2005-06-22 02:32:17 -04:00
|
|
|
|
2006-05-26 17:40:41 -04:00
|
|
|
M: scroller gadget-gestures
|
|
|
|
drop H{
|
|
|
|
{ T{ wheel-up } [ scroll-up-line ] }
|
|
|
|
{ T{ wheel-down } [ scroll-down-line ] }
|
|
|
|
{ T{ slider-changed } [ relayout-1 ] }
|
|
|
|
} ;
|
2005-02-27 16:51:12 -05:00
|
|
|
|
2006-05-24 03:23:45 -04:00
|
|
|
C: scroller ( gadget -- scroller )
|
|
|
|
#! Wrap a scrolling pane around the gadget.
|
|
|
|
{
|
|
|
|
{ [ <viewport> ] set-scroller-viewport @center }
|
|
|
|
{ [ <x-slider> ] set-scroller-x @bottom }
|
|
|
|
{ [ <y-slider> ] set-scroller-y @right }
|
2006-05-24 20:28:49 -04:00
|
|
|
} make-frame*
|
2006-06-12 03:21:08 -04:00
|
|
|
t over set-gadget-root?
|
|
|
|
dup faint-boundary ;
|
2005-03-07 23:15:00 -05:00
|
|
|
|
2006-05-24 03:23:45 -04:00
|
|
|
: set-slider ( value page max slider -- )
|
2005-08-27 01:41:42 -04:00
|
|
|
#! page/max/value are 3-vectors.
|
2005-10-24 00:08:09 -04:00
|
|
|
[ [ gadget-orientation v. ] keep set-slider-max ] keep
|
|
|
|
[ [ gadget-orientation v. ] keep set-slider-page ] keep
|
2006-05-24 03:23:45 -04:00
|
|
|
[ [ gadget-orientation v. ] keep set-slider-value* ] keep
|
|
|
|
slider-elevator relayout-1 ;
|
2005-08-27 01:41:42 -04:00
|
|
|
|
2005-08-29 18:18:10 -04:00
|
|
|
: update-slider ( scroller value slider -- )
|
2006-05-24 03:23:45 -04:00
|
|
|
>r swap scroller-viewport dup rect-dim swap viewport-dim
|
|
|
|
r> set-slider ;
|
2005-06-23 03:15:44 -04:00
|
|
|
|
2006-06-25 18:21:18 -04:00
|
|
|
: position-viewport ( scroller -- )
|
|
|
|
dup scroller-origin vneg
|
|
|
|
swap scroller-viewport gadget-child
|
|
|
|
set-rect-loc ;
|
|
|
|
|
2005-08-29 18:18:10 -04:00
|
|
|
: scroll ( scroller value -- )
|
2005-09-02 23:44:23 -04:00
|
|
|
2dup over scroller-x update-slider
|
2006-06-25 18:21:18 -04:00
|
|
|
dupd over scroller-y update-slider
|
|
|
|
position-viewport ;
|
2005-02-27 16:00:55 -05:00
|
|
|
|
2006-06-25 18:21:18 -04:00
|
|
|
: include-point ( point rect -- rect )
|
|
|
|
rect-extent >r over r> vmax >r vmin r> <extent-rect> ;
|
2005-10-21 19:46:14 -04:00
|
|
|
|
2006-06-25 18:21:18 -04:00
|
|
|
: scroll>point ( point scroller -- )
|
|
|
|
[
|
|
|
|
scroller-viewport [ include-point ] keep
|
|
|
|
[ rect-extent v+ ] 2apply v-
|
|
|
|
] keep dup scroller-origin rot v+ scroll ;
|
2005-10-23 16:18:07 -04:00
|
|
|
|
2006-06-25 18:21:18 -04:00
|
|
|
: (scroll>gadget) ( gadget scroller -- )
|
|
|
|
#! First ensure top left is visible, then bottom right.
|
|
|
|
over screen-loc over scroll>point
|
|
|
|
over screen-loc rot rect-dim v+ swap scroll>point ;
|
2005-10-23 16:18:07 -04:00
|
|
|
|
|
|
|
: update-scroller ( scroller -- )
|
2006-06-25 18:21:18 -04:00
|
|
|
dup scroller-follows dup [
|
|
|
|
swap
|
|
|
|
f over set-scroller-follows
|
|
|
|
(scroll>gadget)
|
|
|
|
] [
|
|
|
|
drop dup scroller-origin scroll
|
|
|
|
] if ;
|
2006-05-20 02:13:44 -04:00
|
|
|
|
2006-05-24 03:23:45 -04:00
|
|
|
M: scroller layout* ( scroller -- )
|
|
|
|
dup delegate layout*
|
|
|
|
dup layout-children
|
2006-06-25 18:21:18 -04:00
|
|
|
update-scroller ;
|
2005-07-04 18:36:07 -04:00
|
|
|
|
2005-08-27 15:12:37 -04:00
|
|
|
M: scroller focusable-child* ( scroller -- viewport )
|
2005-07-04 18:36:07 -04:00
|
|
|
scroller-viewport ;
|
2006-05-19 22:29:01 -04:00
|
|
|
|
|
|
|
: scroller-gadget ( scroller -- gadget )
|
|
|
|
#! Gadget being scrolled.
|
|
|
|
scroller-viewport gadget-child ;
|