From 199a7580d6af52ce823c6512d60bf3b22f0420e1 Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Mon, 14 Jul 2008 17:48:59 -0500 Subject: [PATCH] ui.gadgets.scrollers: rewrite new-scroller --- extra/ui/gadgets/scrollers/scrollers.factor | 30 ++++++++------------- 1 file changed, 11 insertions(+), 19 deletions(-) diff --git a/extra/ui/gadgets/scrollers/scrollers.factor b/extra/ui/gadgets/scrollers/scrollers.factor index 1fe3c606bb..f45f40c805 100755 --- a/extra/ui/gadgets/scrollers/scrollers.factor +++ b/extra/ui/gadgets/scrollers/scrollers.factor @@ -29,30 +29,22 @@ scroller H{ { T{ mouse-scroll } [ do-mouse-scroll ] } } set-gestures -: viewport, ( child -- ) - g model>> - g-> set-scroller-viewport @center frame, ; - : ( -- model ) 0 0 0 0 0 0 0 0 2array ; -: x-model ( -- model ) g model>> dependencies>> first ; - -: y-model ( -- model ) g model>> dependencies>> second ; - : new-scroller ( gadget class -- scroller ) - new-frame - t >>root? - >>model - faint-boundary - [ - x-model g-> set-scroller-x @bottom frame, - y-model g-> set-scroller-y @right frame, - viewport, - ] make-gadget ; + new-frame + t >>root? + >>model + faint-boundary -: ( gadget -- scroller ) - scroller new-scroller ; + dup model>> dependencies>> first >>x dup x>> @bottom grid-add* + dup model>> dependencies>> second >>y dup y>> @right grid-add* + + swap over model>> >>viewport + dup viewport>> @center grid-add* ; + +: ( gadget -- scroller ) scroller new-scroller ; : scroll ( value scroller -- ) [