ui.gadgets.worlds vocabulary
Factor handbook ยป Vocabulary index


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
ClassSuperclassSlots
no-world-found tuple
world trackactive? 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 tupleworld-class grab-input? title status gadgets pixel-format-attributes window-controls pref-dim fill orientation
world-error tupleerror world


Predicate classes
ClassSuperclass
specific-button-down button-down
specific-button-up button-up
specific-drag drag


Generic words
WordStack 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
WordStack 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
WordStack 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
VocabularySummary
ui.gadgets.worlds.null