factor/library/ui/gadgets/presentations.factor

247 lines
7.0 KiB
Factor
Raw Normal View History

2006-03-24 03:28:46 -05:00
! Copyright (C) 2005, 2006 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
2006-10-04 17:21:37 -04:00
IN: gadgets-listener
DEFER: call-listener
IN: gadgets-presentations
2006-08-02 15:17:13 -04:00
USING: arrays definitions gadgets gadgets-borders
gadgets-buttons gadgets-grids gadgets-labels gadgets-outliner
gadgets-panes gadgets-paragraphs gadgets-theme generic
hashtables tools io kernel prettyprint sequences strings
styles words help math models namespaces ;
! Clickable objects
TUPLE: presentation object command ;
C: presentation ( button object command -- button )
[ set-presentation-command ] keep
2006-08-25 20:52:13 -04:00
[ set-presentation-object ] keep
[ set-gadget-delegate ] keep ;
2006-08-25 20:52:13 -04:00
: <object-presentation> ( gadget object -- button )
>r f <roll-button> r> f <presentation> ;
2006-08-24 22:44:42 -04:00
2006-08-25 20:52:13 -04:00
: <command-presentation> ( target command -- button )
dup command-name f <bevel-button> -rot <presentation> ;
2006-08-25 20:52:13 -04:00
2006-09-20 22:31:17 -04:00
: presentation-command* ( presentation gesture -- obj cmd )
over presentation-command [
2006-09-20 22:31:17 -04:00
dup T{ button-up f f 1 } = [
drop
dup presentation-object swap presentation-command
] [
>r presentation-command dup r> mouse-operation
] if
2006-08-25 20:52:13 -04:00
] [
2006-09-20 22:31:17 -04:00
>r presentation-object dup r> mouse-operation
] if ;
: invoke-presentation ( gadget modifiers button# -- )
2006-09-20 22:31:17 -04:00
<button-up>
presentation-command* dup [ invoke-command ] [ 2drop ] if ;
2006-08-25 20:52:13 -04:00
2006-08-25 21:29:23 -04:00
: show-mouse-help ( presentation -- )
2006-08-31 21:58:15 -04:00
dup find-world [ world-status set-model* ] [ drop ] if* ;
2006-08-25 21:29:23 -04:00
: hide-mouse-help ( presentation -- )
2006-08-31 21:58:15 -04:00
find-world [ world-status f swap set-model* ] when* ;
2006-08-25 21:29:23 -04:00
M: presentation ungraft* ( presentation -- )
dup hide-mouse-help delegate ungraft* ;
2006-08-25 20:52:13 -04:00
presentation H{
{ T{ button-up f f 1 } [ [ f 1 invoke-presentation ] if-clicked ] }
{ T{ button-up f f 2 } [ [ f 2 invoke-presentation ] if-clicked ] }
{ T{ button-up f f 3 } [ [ f 3 invoke-presentation ] if-clicked ] }
{ T{ button-up f { S+ } 1 } [ [ { S+ } 1 invoke-presentation ] if-clicked ] }
{ T{ button-up f { S+ } 2 } [ [ { S+ } 2 invoke-presentation ] if-clicked ] }
{ T{ button-up f { S+ } 3 } [ [ { S+ } 3 invoke-presentation ] if-clicked ] }
2006-08-25 21:29:23 -04:00
{ T{ mouse-leave } [ dup hide-mouse-help button-update ] }
{ T{ mouse-enter } [ dup show-mouse-help button-update ] }
2006-08-24 22:44:42 -04:00
} set-gestures
2006-08-25 21:29:23 -04:00
! Presentation help bar
: <presentation-summary> ( model -- )
2006-08-26 16:07:01 -04:00
[
[
presentation-object summary
2006-08-26 16:07:01 -04:00
] [
"Mouse over a presentation for help."
2006-08-26 16:07:01 -04:00
] if*
] <filter> <label-control> dup reverse-video-theme ;
2006-08-25 21:29:23 -04:00
: <gesture-help> ( model gesture -- gadget )
[
over [
2006-09-20 22:31:17 -04:00
tuck presentation-command* nip dup [
>r gesture>string ": " r> command-name append3
] [
2drop ""
] if
] [
2drop ""
] if
] curry <filter> <label-control> ;
: <presentation-mouse-help> ( model -- help )
{ f { S+ } } [
3 [
1+ >r 2dup r> <button-up> <gesture-help>
] map nip
] map nip <grid>
{ 10 0 } over set-grid-gap ;
2006-08-25 21:29:23 -04:00
: <presentation-help> ( model -- gadget )
[
dup <presentation-summary> ,
<presentation-mouse-help> ,
] { } make make-pile 1 over set-pack-fill ;
2006-08-25 21:29:23 -04:00
2006-10-04 17:21:37 -04:00
: <listener-button> ( gadget quot -- button )
[ call-listener ] curry <roll-button> ;
2005-12-17 20:03:41 -05:00
! Character styles
: apply-style ( style gadget key quot -- style gadget )
2006-07-09 20:47:01 -04:00
>r pick hash r> when* ; inline
2005-12-17 20:03:41 -05:00
: apply-foreground-style ( style gadget -- style gadget )
foreground [ over set-label-color ] apply-style ;
: apply-background-style ( style gadget -- style gadget )
background [ <solid> over set-gadget-interior ] apply-style ;
: specified-font ( style -- font )
[ font swap hash [ "monospace" ] unless* ] keep
2005-12-17 20:03:41 -05:00
[ font-style swap hash [ plain ] unless* ] keep
font-size swap hash [ 12 ] unless* 3array ;
: apply-font-style ( style gadget -- style gadget )
over specified-font over set-label-font ;
2006-08-25 20:52:13 -04:00
: apply-presentation-style ( style gadget -- style gadget )
presented [ <object-presentation> ] apply-style ;
2005-12-17 20:03:41 -05:00
2006-10-04 17:21:37 -04:00
: apply-quotation-style ( style gadget -- style gadget )
quotation [ <listener-button> ] apply-style ;
2006-08-25 20:52:13 -04:00
: <styled-label> ( style text -- gadget )
2005-12-17 20:03:41 -05:00
<label>
apply-foreground-style
apply-background-style
apply-font-style
2006-08-25 20:52:13 -04:00
apply-presentation-style
2006-10-04 17:21:37 -04:00
apply-quotation-style
2005-12-17 20:03:41 -05:00
nip ;
! Paragraph styles
: apply-wrap-style ( style pane -- style pane )
wrap-margin [
2006-07-09 20:47:01 -04:00
2dup <paragraph> swap set-pane-prototype
<paragraph> over set-pane-current
2005-12-17 20:03:41 -05:00
] apply-style ;
: apply-border-width-style ( style gadget -- style gadget )
border-width [ <border> ] apply-style ;
: apply-border-color-style ( style gadget -- style gadget )
border-color [
<solid> over set-gadget-boundary
] apply-style ;
: apply-page-color-style ( style gadget -- style gadget )
page-color [
<solid> over set-gadget-interior
] apply-style ;
: apply-outliner-style ( style gadget -- style gadget )
outline [ <outliner> ] apply-style ;
: <styled-paragraph> ( style pane -- gadget )
2005-12-17 20:03:41 -05:00
apply-wrap-style
apply-border-width-style
apply-border-color-style
apply-page-color-style
2006-08-25 20:52:13 -04:00
apply-presentation-style
2006-10-04 17:21:37 -04:00
apply-quotation-style
apply-outliner-style
2005-12-17 20:03:41 -05:00
nip ;
2005-12-16 21:12:35 -05:00
: styled-pane ( quot style -- gadget )
2005-12-17 20:03:41 -05:00
#! Create a pane, call the quotation to fill it out.
>r <pane> dup r> swap <styled-paragraph>
>r swap with-pane r> ; inline
2005-12-16 22:24:39 -05:00
2006-08-31 21:58:15 -04:00
: apply-table-gap-style ( style grid -- style grid )
2006-06-26 01:53:05 -04:00
table-gap [ over set-grid-gap ] apply-style ;
2006-08-31 21:58:15 -04:00
: apply-table-border-style ( style grid -- style grid )
2006-06-26 01:53:05 -04:00
table-border [ <grid-lines> over set-gadget-boundary ]
apply-style ;
: styled-grid ( style grid -- grid )
<grid>
2006-06-26 01:53:05 -04:00
apply-table-gap-style
apply-table-border-style
nip ;
: <pane-grid> ( quot style grid -- gadget )
[
[ pick pick >r >r -rot styled-pane r> r> rot ] map
] map styled-grid nip ;
M: pane with-stream-table
>r rot <pane-grid> r> print-gadget ;
M: pane with-nested-stream
>r styled-pane r> write-gadget ;
! Stream utilities
M: pack stream-close drop ;
M: paragraph stream-close drop ;
: gadget-write ( string gadget -- )
2006-08-26 03:20:58 -04:00
over empty? [
2drop
] [
>r <label> dup text-theme r> add-gadget
] if ;
M: pack stream-write gadget-write ;
: gadget-bl ( style stream -- )
2006-08-25 20:52:13 -04:00
>r " " <styled-label> <word-break-gadget> r> add-gadget ;
M: paragraph stream-write
swap " " split
[ over gadget-write ] [ H{ } over gadget-bl ] interleave
drop ;
: gadget-write1 ( char gadget -- )
>r ch>string r> stream-write ;
M: pack stream-write1 gadget-write1 ;
M: paragraph stream-write1
over CHAR: \s =
[ H{ } swap gadget-bl drop ] [ gadget-write1 ] if ;
: gadget-format ( string style stream -- )
2006-06-27 19:57:04 -04:00
pick empty?
2006-08-25 20:52:13 -04:00
[ 3drop ] [ >r swap <styled-label> r> add-gadget ] if ;
M: pack stream-format
gadget-format ;
M: paragraph stream-format
presented pick hash [
gadget-format
] [
rot " " split
[ pick pick gadget-format ]
[ 2dup gadget-bl ] interleave
2drop
] if ;