ui vocabulary - Factor Documentation (original) (raw)

ui vocabulary
Factor handbook » Vocabulary index

Documentation
UI framework

Metadata

Authors: Slava Pestov

Words

Parsing words

Word Syntax
MAIN-WINDOW: MAIN-WINDOW: window-word { attributes } attribute-code ;
WINDOW: WINDOW: window-word { attributes } attribute-code ;

Generic words

Word Stack effect
beep ( -- )
close-window ( gadget -- )
resize-window ( world dim -- )
system-alert ( caption text -- )

Ordinary words

Word Stack effect
adjust-font-size ( gadget delta -- )
close-all-windows ( -- )
define-window ( word attributes quot -- )
find-window ( quot: ( world -- ? ) -- world/f )
find-windows ( quot: ( world -- ? ) -- seq )
fullscreen? ( gadget -- ? )
open-window ( gadget title/attributes -- )
open-window* ( gadget title/attributes -- window )
open-world-window ( world -- )
parse-window-attributes ( class -- attributes )
raise-window ( gadget -- )
relayout-window ( gadget -- )
set-fullscreen ( gadget ? -- )
toggle-fullscreen ( gadget -- )
topmost-window ( -- world )
ui-running? ( -- ? )
with-ui ( quot: ( -- ) -- )

Files

resource:basis/ui/ui.factor
resource:basis/ui/ui-docs.factor

Metadata files

resource:basis/ui/authors.txt
resource:basis/ui/summary.txt

Children from resource:basis

Vocabulary Summary
ui.backend UI backend hooks
ui.baseline-alignment
ui.clipboards Abstract clipboard support
ui.commands UI command framework
ui.debugger
ui.event-loop
ui.gadgets Gadget hierarchy and layout management
ui.gestures Translating window system events to gestures, and delivering gestures to gadgets
ui.images
ui.operations Operations are commands which may be performed on a presentation's underlying object
ui.pens
ui.pixel-formats Cross-platform OpenGL context pixel format specifiers
ui.render Support for rendering gadgets via OpenGL
ui.text
ui.theme Light and dark themes
ui.tools Graphical developer tools
ui.traverse Gadget tree traversal

Children from resource:extra

Vocabulary Summary
ui.gadgets Gadget hierarchy and layout management
ui.render Support for rendering gadgets via OpenGL
ui.tools Graphical developer tools
ui.utils
ui.windows