2006-01-26 23:01:14 -05: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-layouts
|
|
|
|
USING: errors gadgets generic hashtables kernel lists math
|
2005-10-11 23:28:17 -04:00
|
|
|
namespaces sequences ;
|
2005-02-02 19:50:13 -05:00
|
|
|
|
2006-01-26 23:01:14 -05:00
|
|
|
: invalidate ( gadget -- ) t swap set-gadget-relayout? ;
|
|
|
|
|
|
|
|
: forget-pref-dim ( gadget -- ) f swap set-gadget-pref-dim ;
|
|
|
|
|
|
|
|
: invalidate* ( gadget -- ) dup invalidate forget-pref-dim ;
|
|
|
|
|
2005-09-03 16:28:42 -04:00
|
|
|
: relayout ( gadget -- )
|
|
|
|
#! Relayout and redraw a gadget and its parent before the
|
2005-09-25 20:41:49 -04:00
|
|
|
#! next iteration of the event loop. Should be used when the
|
|
|
|
#! gadget's size has potentially changed. See relayout-1.
|
2005-09-03 16:28:42 -04:00
|
|
|
dup gadget-relayout? [
|
|
|
|
drop
|
|
|
|
] [
|
2006-01-26 23:01:14 -05:00
|
|
|
dup invalidate*
|
2005-09-03 16:28:42 -04:00
|
|
|
dup gadget-root?
|
|
|
|
[ add-invalid ]
|
2005-09-24 15:21:17 -04:00
|
|
|
[ gadget-parent [ relayout ] when* ] if
|
|
|
|
] if ;
|
2005-09-03 16:28:42 -04:00
|
|
|
|
2005-09-25 20:41:49 -04:00
|
|
|
: relayout-1 ( gadget -- )
|
|
|
|
#! Relayout and redraw a gadget before th next iteration of
|
|
|
|
#! the event loop. Should be used if the gadget should be
|
|
|
|
#! repainted, or if its internal layout changed, but its
|
|
|
|
#! preferred size did not change.
|
|
|
|
dup gadget-relayout?
|
|
|
|
[ drop ] [ dup invalidate add-invalid ] if ;
|
|
|
|
|
|
|
|
: toggle-visible ( gadget -- )
|
|
|
|
dup gadget-visible? not over set-gadget-visible? relayout-1 ;
|
|
|
|
|
2005-09-03 16:28:42 -04:00
|
|
|
: set-gadget-dim ( dim gadget -- )
|
|
|
|
2dup rect-dim = [
|
|
|
|
2drop
|
|
|
|
] [
|
|
|
|
[ set-rect-dim ] keep dup add-invalid invalidate
|
2005-09-24 15:21:17 -04:00
|
|
|
] if ;
|
2005-09-03 16:28:42 -04:00
|
|
|
|
2006-01-26 23:01:14 -05:00
|
|
|
GENERIC: pref-dim* ( gadget -- dim )
|
|
|
|
|
|
|
|
: pref-dim ( gadget -- dim )
|
|
|
|
pref-dim* ;
|
|
|
|
! dup gadget-pref-dim [ ] [
|
|
|
|
! dup pref-dim* dup rot set-gadget-pref-dim
|
|
|
|
! ] ?if ;
|
2005-09-03 01:37:59 -04:00
|
|
|
|
2006-01-26 23:01:14 -05:00
|
|
|
M: gadget pref-dim* rect-dim ;
|
2005-09-03 01:37:59 -04:00
|
|
|
|
|
|
|
GENERIC: layout* ( gadget -- )
|
|
|
|
|
|
|
|
M: gadget layout* drop ;
|
|
|
|
|
|
|
|
: prefer ( gadget -- ) dup pref-dim swap set-gadget-dim ;
|
|
|
|
|
2005-10-10 21:12:53 -04:00
|
|
|
DEFER: layout
|
|
|
|
|
2006-01-30 20:35:55 -05:00
|
|
|
: layout-children ( gadget -- ) [ layout ] each-child ;
|
2005-10-10 21:12:53 -04:00
|
|
|
|
2005-02-03 19:11:06 -05:00
|
|
|
: layout ( gadget -- )
|
2005-10-08 01:15:14 -04:00
|
|
|
#! Position the children of the gadget inside the gadget.
|
2005-02-03 19:11:06 -05:00
|
|
|
#! Note that nothing is done if the gadget does not need to
|
|
|
|
#! be laid out.
|
|
|
|
dup gadget-relayout? [
|
2005-04-30 17:17:10 -04:00
|
|
|
f over set-gadget-relayout?
|
2005-10-10 21:12:53 -04:00
|
|
|
dup layout* dup layout-children
|
2005-10-08 01:15:14 -04:00
|
|
|
] when drop ;
|
2005-02-03 19:11:06 -05:00
|
|
|
|
2005-10-24 00:08:09 -04:00
|
|
|
TUPLE: pack align fill gap ;
|
2005-07-06 03:29:42 -04:00
|
|
|
|
2006-01-23 21:03:22 -05:00
|
|
|
: pref-dims ( gadget -- list ) [ pref-dim ] map ;
|
2005-06-29 00:33:07 -04:00
|
|
|
|
2005-07-24 23:09:43 -04:00
|
|
|
: orient ( gadget seq1 seq2 -- seq )
|
2005-10-24 00:08:09 -04:00
|
|
|
>r >r gadget-orientation r> r> [ pick set-axis ] 2map nip ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
|
|
|
: packed-dim-2 ( gadget sizes -- list )
|
2005-08-31 21:06:13 -04:00
|
|
|
[ over rect-dim over v- rot pack-fill v*n v+ ] map-with ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
2005-07-24 22:59:23 -04:00
|
|
|
: packed-dims ( gadget sizes -- seq )
|
2005-08-31 21:06:13 -04:00
|
|
|
2dup packed-dim-2 swap orient ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
2005-09-01 01:20:43 -04:00
|
|
|
: packed-loc-1 ( gadget sizes -- seq )
|
2005-10-29 23:25:38 -04:00
|
|
|
{ 0 0 0 } [ v+ over pack-gap v+ ] accumulate nip ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
2005-07-24 22:59:23 -04:00
|
|
|
: packed-loc-2 ( gadget sizes -- seq )
|
2005-09-28 23:29:00 -04:00
|
|
|
[
|
|
|
|
>r dup pack-align swap rect-dim r> v- n*v
|
|
|
|
[ >fixnum ] map
|
|
|
|
] map-with ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
2005-08-31 21:06:13 -04:00
|
|
|
: packed-locs ( gadget sizes -- seq )
|
2005-09-01 01:20:43 -04:00
|
|
|
2dup packed-loc-1 >r dupd packed-loc-2 r> orient ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
|
|
|
: packed-layout ( gadget sizes -- )
|
2005-08-31 21:06:13 -04:00
|
|
|
over gadget-children
|
|
|
|
>r dupd packed-dims r> 2dup [ set-gadget-dim ] 2each
|
|
|
|
>r packed-locs r> [ set-rect-loc ] 2each ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
2005-09-01 01:20:43 -04:00
|
|
|
C: pack ( vector -- pack )
|
2005-06-29 19:40:44 -04:00
|
|
|
#! gap: between each child.
|
|
|
|
#! fill: 0 leaves default width, 1 fills to pack width.
|
2005-09-01 01:20:43 -04:00
|
|
|
#! align: 0 left, 1/2 center, 1 right.
|
2005-10-09 21:27:14 -04:00
|
|
|
dup delegate>gadget
|
2005-10-24 00:08:09 -04:00
|
|
|
[ set-gadget-orientation ] keep
|
2005-09-01 01:20:43 -04:00
|
|
|
0 over set-pack-align
|
|
|
|
0 over set-pack-fill
|
2005-10-29 23:25:38 -04:00
|
|
|
{ 0 0 0 } over set-pack-gap ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
2005-10-09 21:27:14 -04:00
|
|
|
: delegate>pack ( vector tuple -- ) >r <pack> r> set-delegate ;
|
2005-09-28 23:29:00 -04:00
|
|
|
|
2005-10-29 23:25:38 -04:00
|
|
|
: <pile> ( -- pack ) { 0 1 0 } <pack> ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
2005-10-29 23:25:38 -04:00
|
|
|
: <shelf> ( -- pack ) { 1 0 0 } <pack> ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
2006-01-23 21:03:22 -05:00
|
|
|
: pack-pref-dim ( children gadget -- dim )
|
2005-07-01 19:52:08 -04:00
|
|
|
[
|
2006-01-23 21:03:22 -05:00
|
|
|
>r [ max-dim ] keep
|
|
|
|
[ { 0 0 0 } [ v+ ] reduce ] keep length 1 - 0 max
|
|
|
|
r> pack-gap n*v v+
|
2005-10-24 00:08:09 -04:00
|
|
|
] keep gadget-orientation set-axis ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
2006-01-26 23:01:14 -05:00
|
|
|
M: pack pref-dim* ( pack -- dim )
|
2006-01-23 21:03:22 -05:00
|
|
|
[ gadget-children pref-dims ] keep pack-pref-dim ;
|
|
|
|
|
|
|
|
M: pack layout* ( pack -- )
|
|
|
|
dup gadget-children pref-dims packed-layout ;
|
2005-06-29 19:40:44 -04:00
|
|
|
|
2005-08-24 19:25:12 -04:00
|
|
|
: fast-children-on ( dim axis gadgets -- i )
|
|
|
|
swapd [ rect-loc origin get v+ v- over v. ] binsearch nip ;
|
|
|
|
|
|
|
|
M: pack children-on ( rect pack -- list )
|
2005-10-24 00:08:09 -04:00
|
|
|
dup gadget-orientation swap gadget-children [
|
2005-08-24 19:25:12 -04:00
|
|
|
3dup
|
2005-09-16 22:47:28 -04:00
|
|
|
>r >r dup rect-loc swap rect-dim v+ r> r> fast-children-on 1+
|
2005-08-24 19:25:12 -04:00
|
|
|
>r
|
|
|
|
>r >r rect-loc r> r> fast-children-on 0 max
|
|
|
|
r>
|
|
|
|
] keep <slice> ;
|
2005-08-23 23:28:54 -04:00
|
|
|
|
|
|
|
TUPLE: stack ;
|
|
|
|
|
|
|
|
C: stack ( -- gadget )
|
2005-06-29 19:40:44 -04:00
|
|
|
#! A stack lays out all its children on top of each other.
|
2005-10-29 23:25:38 -04:00
|
|
|
{ 0 0 1 } over delegate>pack 1 over set-pack-fill ;
|
2005-08-23 23:28:54 -04:00
|
|
|
|
2005-08-24 19:25:12 -04:00
|
|
|
M: stack children-on ( point stack -- gadget )
|
2005-08-23 23:28:54 -04:00
|
|
|
nip gadget-children ;
|