basis/ui/ui-docs.factor

   1 USING: help.markup help.syntax strings quotations debugger
   2 io.styles namespaces ui.backend ui.gadgets ui.gadgets.worlds
   3 ui.gadgets.tracks ui.gadgets.packs ui.gadgets.grids math.geometry.rect colors ;
   4 IN: ui
   5
   6 HELP: windows
   7 { $var-description "Global variable holding an association list mapping native window handles to " { $link world } " instances." } ;
   8
   9 { windows open-window find-window } related-words
  10
  11 HELP: open-window
  12 { $values { "gadget" gadget } { "title" string } }
  13 { $description "Opens a native window with the specified title." } ;
  14
  15 HELP: set-fullscreen?
  16 { $values { "?" "a boolean" } { "gadget" gadget } }
  17 { $description "Sets and unsets fullscreen mode for the gadget's world." } ;
  18
  19 HELP: fullscreen?
  20 { $values { "gadget" gadget } { "?" "a boolean" } }
  21 { $description "Queries the gadget's world to see if it is running in fullscreen mode." } ;
  22
  23 { fullscreen? set-fullscreen? } related-words
  24
  25 HELP: find-window
  26 { $values { "quot" { $quotation "( world -- ? )" } } { "world" { $maybe world } } }
  27 { $description "Finds a native window such that the gadget passed to " { $link open-window } " satisfies the quotation, outputting " { $link f } " if no such gadget could be found. The front-most native window is checked first." } ;
  28
  29 HELP: register-window
  30 { $values { "world" world } { "handle" "a baackend-specific handle" } }
  31 { $description "Adds a window to the global " { $link windows } " variable." }
  32 { $notes "This word should only be called by the UI backend.  User code can open new windows with " { $link open-window } "." } ;
  33
  34 HELP: unregister-window
  35 { $values { "handle" "a baackend-specific handle" } }
  36 { $description "Removes a window from the global " { $link windows } " variable." }
  37 { $notes "This word should only be called only by the UI backend, and not user code." } ;
  38
  39 HELP: ui
  40 { $description "Starts the Factor UI." } ;
  41
  42 HELP: start-ui
  43 { $description "Called by the UI backend to initialize the platform-independent parts of UI. This word should be called after the backend is ready to start displaying new windows, and before the event loop starts." } ;
  44
  45 HELP: (open-window)
  46 { $values { "world" world } }
  47 { $description "Opens a native window containing the given world. This grafts the world by calling " { $link graft } ". Each world can only be displayed in one top-level window at a time." }
  48 { $notes "This word should not be called directly by user code. Instead, use " { $link open-window } "." } ;
  49
  50 HELP: raise-window
  51 { $values { "gadget" gadget } }
  52 { $description "Makes the native window containing the given gadget the front-most window." } ;
  53
  54 HELP: with-ui
  55 { $values { "quot" quotation } }
  56 { $description "Calls the quotation, starting the UI first if necessary." }
  57 { $notes "This combinator should be used in the " { $link POSTPONE: MAIN: } " word of a vocabulary, in order for the vocabulary to work when run from the UI listener (" { $snippet "\"my-app\" run" } " and the command line (" { $snippet "./factor -run=my-app" } ")." }
  58 { $examples "The " { $vocab-link "hello-ui" } " vocabulary implements a simple UI application which uses this combinator." } ;
  59
  60 ARTICLE: "ui-glossary" "UI glossary"
  61 { $table
  62     { "color" { "an instance of " { $link color } } }
  63     { "dimension" "a pair of integers denoting pixel size on screen" }
  64     { "font specifier"
  65         { "an array of three elements:"
  66             { $list
  67                 { "font family - one of " { $snippet "serif" } ", " { $snippet "sans-serif" } " or " { $snippet "monospace" } }
  68                 { "font style - one of " { $link plain } ", " { $link bold } ", " { $link italic } " or " { $link bold-italic } }
  69                 "font size in points"
  70             }
  71         }
  72     }
  73     { "gadget" { "a graphical element which responds to user input. Gadgets are tuples which (directly or indirectly) inherit from " { $link gadget } "." } }
  74     { "label specifier" { "a string, " { $link f } " or a gadget. See " { $link "ui.gadgets.buttons" } } }
  75     { "orientation specifier" { "one of " { $snippet "{ 0 1 }" } " or " { $snippet "{ 1 0 }" } ", with the former denoting vertical orientation and the latter denoting horizontal. Using a vector instead of symbolic constants allows these values to be directly useful in co-ordinate calculations" } }
  76     { "point" "a pair of integers denoting a pixel location on screen" }
  77 } ;
  78
  79 ARTICLE: "building-ui" "Building user interfaces"
  80 "A gadget is a graphical element which responds to user input. Gadgets are implemented as tuples which (directly or indirectly) inherit from " { $link gadget } ", which in turn inherits from " { $link rect } "."
  81 { $subsection gadget }
  82 "Gadgets are arranged in a hierarchy, and all visible gadgets except for instances of " { $link world } " are contained in a parent gadget, stored in the " { $snippet "parent" } " slot."
  83 { $subsection "ui-geometry" }
  84 { $subsection "ui-layouts" }
  85 { $subsection "gadgets" }
  86 { $subsection "ui-windows" }
  87 { $see-also "models" } ;
  88
  89 ARTICLE: "gadgets" "Pre-made UI gadgets"
  90 { $subsection "ui.gadgets.labels" }
  91 { $subsection "gadgets-polygons" }
  92 { $subsection "ui.gadgets.borders" }
  93 { $subsection "ui.gadgets.labelled" }
  94 { $subsection "ui.gadgets.buttons" }
  95 { $subsection "ui.gadgets.sliders" }
  96 { $subsection "ui.gadgets.scrollers" }
  97 { $subsection "gadgets-editors" }
  98 { $subsection "ui.gadgets.menus" }
  99 { $subsection "ui.gadgets.panes" }
 100 { $subsection "ui.gadgets.presentations" }
 101 { $subsection "ui.gadgets.lists" } ;
 102
 103 ARTICLE: "ui-geometry" "Gadget geometry"
 104 "The " { $link gadget } " class inherits from the " { $link rect } " class, and thus all gadgets have a bounding box:"
 105 { $subsection "math.geometry.rect" }
 106 "Word for converting from a child gadget's co-ordinate system to a parent's:"
 107 { $subsection relative-loc }
 108 { $subsection screen-loc }
 109 "Hit testing:"
 110 { $subsection pick-up }
 111 { $subsection children-on } ;
 112
 113 ARTICLE: "ui-windows" "Top-level windows"
 114 "Opening a top-level window:"
 115 { $subsection open-window }
 116 "Finding top-level windows:"
 117 { $subsection find-window }
 118 "Top-level windows are stored in a global variable:"
 119 { $subsection windows }
 120 "When a gadget is displayed in a top-level window, or added to a parent which is already showing in a top-level window, a generic word is called allowing the gadget to perform initialization tasks:"
 121 { $subsection graft* }
 122 "When the gadget is removed from a parent shown in a top-level window, or when the top-level window is closed, a corresponding generic word is called to clean up:"
 123 { $subsection ungraft* }
 124 "The root of the gadget hierarchy in a window is a special gadget which is rarely operated on directly, but it is helpful to know it exists:"
 125 { $subsection world } ;
 126
 127 ARTICLE: "ui-backend" "Developing UI backends"
 128 "None of the words documented in this section should be called directly by user code. They are only of interest when developing new UI backends."
 129 { $subsection "ui-backend-init" }
 130 { $subsection "ui-backend-windows" }
 131 "UI backends may implement the " { $link "clipboard-protocol" } "." ;
 132
 133 ARTICLE: "ui-backend-init" "UI initialization and the event loop"
 134 "An UI backend is required to define a method on the " { $link ui } " word. This word should contain backend initialization, together with some boilerplate:"
 135 { $code
 136     "IN: shells"
 137     ""
 138     ": ui"
 139     "    ... backend-specific initialization ..."
 140     "    start-ui"
 141     "    ... more backend-specific initialization ..."
 142     "    ... start event loop here ... ;"
 143 }
 144 "The above word must call the following:"
 145 { $subsection start-ui }
 146 "The " { $link ui } " word must not return until the event loop has stopped and the UI has been shut down." ;
 147
 148 ARTICLE: "ui-backend-windows" "UI backend window management"
 149 "The high-level " { $link open-window } " word eventually calls a low-level word which you must implement:"
 150 { $subsection open-world-window }
 151 "This word should create a native window, store some kind of handle in the " { $snippet "handle" } " slot, then call two words:"
 152 { $subsection register-window }
 153 "The following words must also be implemented:"
 154 { $subsection set-title }
 155 { $subsection raise-window }
 156 "When a world needs to be redrawn, the UI will call a word automatically:"
 157 { $subsection draw-world }
 158 "This word can also be called directly if the UI backend is notified by the window system that window contents have been invalidated. Before and after drawing, two words are called, which the UI backend must implement:"
 159 { $subsection select-gl-context }
 160 { $subsection flush-gl-context }
 161 "If the user clicks the window's close box, you must call the following word:"
 162 { $subsection close-window } ;
 163
 164 ARTICLE: "ui-layouts" "Gadget hierarchy and layouts"
 165 "A layout gadget is a gadget whose sole purpose is to contain other gadgets. Layout gadgets position and resize children according to a certain policy, taking the preferred size of the children into account. Gadget hierarchies are constructed by building up nested layouts."
 166 { $subsection "ui-layout-basics" }
 167 "Common layout gadgets:"
 168 { $subsection "ui-pack-layout" }
 169 { $subsection "ui-track-layout" }
 170 { $subsection "ui-grid-layout" }
 171 { $subsection "ui-frame-layout" }
 172 { $subsection "ui-book-layout" }
 173 "Advanced topics:"
 174 { $subsection "ui-null-layout" }
 175 { $subsection "ui-incremental-layout" }
 176 { $subsection "ui-layout-impl" }
 177 { $see-also "ui.gadgets.borders" } ;
 178
 179 ARTICLE: "ui-layout-basics" "Layout basics"
 180 "Gadgets are arranged in a hierarchy, and all visible gadgets except for instances of " { $link world } " are contained in a parent gadget."
 181 $nl
 182 "Managing the gadget hierarchy:"
 183 { $subsection add-gadget }
 184 { $subsection unparent }
 185 { $subsection add-gadgets }
 186 { $subsection clear-gadget }
 187 "The children of a gadget are available via the "
 188 { $snippet "children" } " slot. " "Working with gadget children:"
 189 { $subsection gadget-child }
 190 { $subsection nth-gadget }
 191 { $subsection each-child }
 192 { $subsection child? }
 193 "Working with gadget parents:"
 194 { $subsection parents }
 195 { $subsection each-parent }
 196 { $subsection find-parent }
 197 "Adding children, removing children and performing certain other operations initiates relayout requests automatically. In other cases, relayout may have to be triggered explicitly. There is no harm from doing this several times in a row as consecutive relayout requests are coalesced."
 198 { $subsection relayout }
 199 { $subsection relayout-1 }
 200 "Gadgets implement a generic word to inform their parents of their preferred size:"
 201 { $subsection pref-dim* }
 202 "To get a gadget's preferred size, do not call the above word, instead use " { $link pref-dim  } ",  which caches the result." ;
 203
 204 ARTICLE: "ui-null-layout" "Manual layouts"
 205 "When automatic layout is not appropriate, gadgets can be added to a parent with no layout policy, and then positioned and sized manually by setting the " { $snippet "loc" } " field." ;
 206
 207 ARTICLE: "ui-layout-impl" "Implementing layout gadgets"
 208 "The relayout process proceeds top-down, with parents laying out their children, which in turn lay out their children. Custom layout policy is implemented by defining a method on a generic word:"
 209 { $subsection layout* }
 210 "When a " { $link layout* } " method is called, the size and location of the gadget has already been determined by its parent, and the method's job is to lay out the gadget's children. Children can be positioned and resized by setting a pair of slots, " { $snippet "loc" } " and " { $snippet "dim" } "." $nl
 211 "Some assorted utility words which are useful for implementing layout logic:"
 212 { $subsection pref-dim }
 213 { $subsection pref-dims }
 214 { $subsection prefer }
 215 { $subsection max-dim }
 216 { $subsection dim-sum }
 217 { $warning
 218     "When implementing the " { $link layout* } " generic word for a gadget which inherits from another layout, the " { $link children-on } " word might have to be re-implemented as well."
 219     $nl
 220     "For example, suppose you want a " { $link grid } " layout which also displays a popup gadget on top. The implementation of " { $link children-on } " for the " { $link grid } " class determines which children of the grid are visible at one time, and this will never include your popup, so it will not be rendered, nor will it respond to gestures. The solution is to re-implement " { $link children-on } " on your class."
 221 } ;
 222
 223 ARTICLE: "new-gadgets" "Implementing new gadgets"
 224 "One of the goals of the Factor UI is to minimize the need to implement new types of gadgets by offering a highly reusable, orthogonal set of building blocks. However, in some cases implementing a new type of gadget is necessary, for example when writing a graphical visualization."
 225 $nl
 226 "Bare gadgets can be constructed directly, which is useful if all you need is a custom appearance with no further behavior (see " { $link "ui-pen-protocol" } "):"
 227 { $subsection <gadget> }
 228 "New gadgets are defined as subclasses of an existing gadget type, perhaps even " { $link gadget } " itself. A parametrized constructor should be used to construct subclasses:"
 229 { $subsection new-gadget }
 230 "Further topics:"
 231 { $subsection "ui-gestures" }
 232 { $subsection "ui-paint" }
 233 { $subsection "ui-control-impl" }
 234 { $subsection "clipboard-protocol" }
 235 { $see-also "ui-layout-impl" } ;
 236
 237 ARTICLE: "starting-ui" "Starting the UI"
 238 "The UI starts automatically where possible:"
 239 { $list
 240     { "On Windows, the UI starts when the Factor executable is run." }
 241     { "On X11, the UI starts if the " { $snippet "DISPLAY" } " environment variable is set." }
 242     { "On Mac OS X, the UI starts if the " { $snippet "Factor.app" } " application bundle is run." }
 243 }
 244 "In all cases, passing the " { $snippet "-run=listener" } " command line switch starts the terminal listener instead. The UI can be started from the terminal listener using a word:"
 245 { $subsection ui }
 246 "To run the terminal listener and the UI simultaneously, start the UI in a new thread:"
 247 { $code "USING: threads ui ;" "[ ui ] in-thread" }
 248 "The main word of a vocabulary implementing a UI application should use a combinator to ensure that the application works when run from the command line as well as in the UI listener:"
 249 { $subsection with-ui } ;
 250
 251 ARTICLE: "ui" "UI framework"
 252 "The " { $vocab-link "ui" } " vocabulary hierarchy implements the Factor UI framework. The implementation relies on a small amount of platform-specific code to open windows and receive keyboard and mouse events; UI gadgets are rendered using OpenGL."
 253 { $subsection "starting-ui" }
 254 { $subsection "ui-glossary" }
 255 { $subsection "building-ui" }
 256 { $subsection "new-gadgets" }
 257 { $subsection "ui-backend" } ;
 258
 259 ABOUT: "ui"