Parents: | ui |
ui-running |
ui-thread |
worlds |
Word | Stack effect |
(adjust-font-size) | ( seen gadget delta -- ) |
?attributes | ( gadget title/attributes -- attributes ) |
?grab-input | ( world -- ) |
?ungrab-input | ( world -- ) |
clean-up-broken-window | ( world -- ) |
dispose-window-resources | ( world -- ) |
focus-gestures | ( new old -- ) |
focus-world | ( world -- ) |
init-ui | ( -- ) |
layout-queued | ( -- seq ) |
raised-window | ( world -- ) |
redraw-worlds | ( seq -- ) |
register-window | ( world handle -- ) |
send-queued-gestures | ( -- ) |
set-up-window | ( world -- ) |
slurp-vector | ( ... seq quot: ( ... elt -- ... ) -- ... ) |
start-ui | ( quot -- ) |
start-ui-thread | ( -- ) |
unfocus-world | ( world -- ) |
unregister-window | ( handle -- ) |
update-hand | ( world -- ) |
update-ui | ( -- ) |
update-ui-loop | ( -- ) |
window | ( handle -- world ) |