Summary
World gadgets are the top level of the gadget hierarchy and are displayed in native windows

Metadata

Parents:	ui.gadgets
Authors:	Slava Pestov

Words

Tuple classes

Class	Superclass	Slots
no-world-found	tuple
world	track	active? focused? grab-input? fullscreen? saved-position layers title status status-owner text-handle handle images window-loc pixel-format-attributes background-color promise window-controls window-resources
world-attributes	tuple	world-class grab-input? title status gadgets pixel-format-attributes window-controls pref-dim fill orientation
world-error	tuple	error world

Predicate classes

Class	Superclass
specific-button-down	button-down
specific-button-up	button-up
specific-drag	drag

Generic words

Word	Stack effect
apply-world-attributes	( world attributes -- world )
begin-world	( world -- )
draw-world*	( world -- )
end-world	( world -- )
resize-world	( world -- )

Symbol words

close-button

dialog-window

flush-layout-cache-hook

maximize-button

minimize-button

normal-title-bar

resize-handles

small-title-bar

textured-background

ui-error-hook

Ordinary words

Word	Stack effect
(request-focus)	( child world ? -- )
<world-attributes>	( -- world-attributes )
<world-error>	( error world -- world-error )
<world>	( world-attributes -- world )
as-big-as-possible	( world gadget -- )
close-global	( world global -- )
default-world-pixel-format-attributes	( -- value )
default-world-window-controls	( -- value )
draw-world	( world -- )
draw-world?	( world -- ? )
find-gl-context	( gadget -- )
find-world	( gadget -- world/f )
generalize-gesture	( gesture -- )
grab-input	( gadget -- )
hide-status	( gadget -- )
initial-background-color	( attributes -- color )
new-world	( class -- world )
no-world-found	( -- * )
set-gl-context	( world -- )
show-status	( string/f gadget -- )
ui-error	( error -- )
ungrab-input	( gadget -- )
window-resource	( resource -- resource )
with-gl-context	( world quot -- )
with-world-pixel-format	( world quot -- )

Class predicate words

Word	Stack effect
no-world-found?	( object -- ? )
specific-button-down?	( object -- ? )
specific-button-up?	( object -- ? )
specific-drag?	( object -- ? )
world-attributes?	( object -- ? )
world-error?	( object -- ? )
world?	( object -- ? )

Files


Metadata files


Children from resource:extra

Vocabulary	Summary
ui.gadgets.worlds.null