2006-03-24 19:26:06 -05:00
|
|
|
! Copyright (C) 2006 Slava Pestov.
|
2006-05-23 01:43:08 -04:00
|
|
|
! See http://factorcode.org/license.txt for BSD license.
|
2006-03-24 19:26:06 -05:00
|
|
|
IN: gadgets
|
2006-05-28 19:12:33 -04:00
|
|
|
USING: arrays gadgets gadgets-labels gadgets-layouts
|
|
|
|
gadgets-theme gadgets-viewports hashtables kernel math
|
|
|
|
namespaces queues sequences threads ;
|
2006-03-24 19:26:06 -05:00
|
|
|
|
2006-05-28 19:12:33 -04:00
|
|
|
! Assoc mapping aliens to gadgets
|
2006-05-27 17:39:38 -04:00
|
|
|
SYMBOL: windows
|
|
|
|
|
2006-05-28 19:12:33 -04:00
|
|
|
: reset-windows ( hash -- hash ) V{ } clone windows set-global ;
|
2006-05-27 17:39:38 -04:00
|
|
|
|
2006-05-28 19:12:33 -04:00
|
|
|
: window ( handle -- world ) windows get-global assoc ;
|
2006-05-27 17:39:38 -04:00
|
|
|
|
2006-05-28 19:12:33 -04:00
|
|
|
: register-window ( world handle -- )
|
|
|
|
swap 2array windows get-global push ;
|
2006-05-27 17:39:38 -04:00
|
|
|
|
2006-05-28 19:12:33 -04:00
|
|
|
: unregister-window ( handle -- )
|
|
|
|
windows get-global
|
2006-05-29 01:33:29 -04:00
|
|
|
[ first = not ] subset-with
|
2006-05-28 19:12:33 -04:00
|
|
|
windows set-global ;
|
|
|
|
|
|
|
|
: raised-window ( world -- )
|
|
|
|
windows get-global [ second eq? ] find-with drop
|
|
|
|
windows get-global [ length 1- ] keep exchange ;
|
2006-05-27 17:39:38 -04:00
|
|
|
|
2006-03-24 19:26:06 -05:00
|
|
|
: layout-queued ( -- )
|
|
|
|
invalid dup queue-empty? [
|
|
|
|
drop
|
|
|
|
] [
|
|
|
|
deque dup layout
|
|
|
|
find-world [ dup world-handle set ] when*
|
|
|
|
layout-queued
|
|
|
|
] if ;
|
|
|
|
|
|
|
|
: init-ui ( -- )
|
|
|
|
H{ } clone \ timers set-global
|
|
|
|
<queue> \ invalid set-global ;
|
|
|
|
|
|
|
|
: ui-step ( -- )
|
|
|
|
do-timers
|
|
|
|
[ layout-queued ] make-hash hash-values
|
|
|
|
[ dup world-handle [ draw-world ] [ drop ] if ] each
|
|
|
|
10 sleep ;
|
|
|
|
|
|
|
|
: <status-bar> ( -- gadget ) "" <label> dup highlight-theme ;
|
|
|
|
|
2006-05-26 02:29:44 -04:00
|
|
|
GENERIC: gadget-title ( gadget -- string )
|
|
|
|
|
|
|
|
M: gadget gadget-title drop "Factor" ;
|
|
|
|
|
|
|
|
M: world gadget-title world-gadget gadget-title ;
|
|
|
|
|
|
|
|
TUPLE: titled-gadget title ;
|
|
|
|
|
|
|
|
M: titled-gadget gadget-title titled-gadget-title ;
|
|
|
|
|
2006-05-26 16:34:31 -04:00
|
|
|
M: titled-gadget pref-dim* viewport-dim ;
|
|
|
|
|
|
|
|
M: titled-gadget layout*
|
|
|
|
dup rect-dim swap gadget-child set-gadget-dim ;
|
|
|
|
|
2006-05-26 02:44:31 -04:00
|
|
|
C: titled-gadget ( gadget title -- )
|
2006-05-26 16:34:31 -04:00
|
|
|
dup delegate>gadget
|
2006-05-26 02:44:31 -04:00
|
|
|
[ set-titled-gadget-title ] keep
|
2006-05-26 16:34:31 -04:00
|
|
|
[ add-gadget ] keep ;
|
2006-05-26 02:29:44 -04:00
|
|
|
|
|
|
|
: update-title ( gadget -- )
|
|
|
|
dup gadget-parent dup world?
|
|
|
|
[ >r gadget-title r> set-title ] [ 2drop ] if ;
|
|
|
|
|
|
|
|
: open-window ( gadget -- )
|
2006-05-26 02:44:31 -04:00
|
|
|
<status-bar> <world> dup prefer open-window* ;
|
2006-05-26 02:29:44 -04:00
|
|
|
|
|
|
|
: open-titled-window ( gadget title -- )
|
|
|
|
<titled-gadget> open-window ;
|
2006-05-25 23:25:00 -04:00
|
|
|
|
2006-05-27 17:39:38 -04:00
|
|
|
: restore-windows ( -- )
|
2006-05-28 19:12:33 -04:00
|
|
|
windows get [ second ] map
|
|
|
|
reset-windows
|
2006-05-27 17:39:38 -04:00
|
|
|
[ dup reset-world open-window* ] each ;
|
|
|
|
|
|
|
|
: restore-windows? ( -- ? )
|
2006-05-28 19:12:33 -04:00
|
|
|
windows get [ empty? not ] [ f ] if* ;
|
2006-05-27 17:39:38 -04:00
|
|
|
|
2006-05-25 23:25:00 -04:00
|
|
|
: (open-tool) ( arg cons setter -- )
|
2006-05-26 02:29:44 -04:00
|
|
|
>r call tuck r> call open-window ; inline
|
2006-05-25 23:25:00 -04:00
|
|
|
|
|
|
|
: open-tool ( arg pred cons setter -- )
|
|
|
|
rot drop (open-tool) ;
|
|
|
|
|
|
|
|
: call-tool ( arg gadget pred cons setter -- )
|
|
|
|
>r >r find-parent dup [
|
|
|
|
r> drop r> call
|
|
|
|
] [
|
|
|
|
drop r> r> (open-tool)
|
|
|
|
] if ;
|
2006-05-27 17:39:38 -04:00
|
|
|
|
|
|
|
: start-world ( world -- )
|
|
|
|
dup add-notify
|
|
|
|
dup gadget-title over set-title
|
|
|
|
dup relayout
|
|
|
|
world-gadget request-focus ;
|
|
|
|
|
|
|
|
: close-global ( world global -- )
|
|
|
|
dup get-global find-world rot eq?
|
|
|
|
[ f swap set-global ] [ drop ] if ;
|
|
|
|
|
2006-05-28 19:12:33 -04:00
|
|
|
: focus-world ( world -- )
|
|
|
|
#! Sent when native window receives focus
|
|
|
|
dup raised-window
|
|
|
|
focused-ancestors f focus-gestures ;
|
|
|
|
|
|
|
|
: unfocus-world ( world -- )
|
|
|
|
#! Sent when native window loses focus.
|
|
|
|
focused-ancestors f swap focus-gestures ;
|
|
|
|
|
2006-05-27 17:39:38 -04:00
|
|
|
: close-world ( world -- )
|
|
|
|
dup hand-clicked close-global
|
|
|
|
dup hand-gadget close-global
|
|
|
|
f over request-focus*
|
|
|
|
dup remove-notify
|
|
|
|
dup free-fonts
|
|
|
|
reset-world ;
|