update docs for help.lint checks.

[factor.git] / basis / ui / gadgets / worlds / worlds-docs.factor

diff --git a/basis/ui/gadgets/worlds/worlds-docs.factor b/basis/ui/gadgets/worlds/worlds-docs.factor
index 3dc03aa4ec0d5350aba4d6c574e0ea502ccb8bb7..ccb651ad30e229103a3cf3bf2653d1758340f1f9 100644 (file)
--- a/basis/ui/gadgets/worlds/worlds-docs.factor
+++ b/basis/ui/gadgets/worlds/worlds-docs.factor
@@ -48,17 +48,17 @@ HELP: focus-path
 HELP: world
 { $class-description "A gadget which appears at the top of the gadget hieararchy, and in turn may be displayed in a native window. Worlds have the following slots:"
     { $list
-        { { $snippet "active?" } " - if set to " { $link f } ", the world will not be drawn. This slot is set to " { $link f } " if an error is thrown while drawing the world; this prevents multiple debugger windows from being shown." }
-        { { $snippet "layers" } " - a sequence of glass panes in front of the primary gadget, used to implement behaviors such as popup menus which are hidden when the mouse is clicked outside the menu. See " { $link "ui.gadgets.glass" } "." }
-        { { $snippet "title" } " - a string to be displayed in the title bar of the native window containing the world." }
-        { { $snippet "status" } " - a " { $link model } " holding a string to be displayed in the world's status bar." }
-        { { $snippet "status-owner" } " - the gadget that displayed the most recent status message." }
-        { { $snippet "focus" } " - the current owner of the keyboard focus in the world." }
-        { { $snippet "focused?" } " - a boolean indicating if the native window containing the world has keyboard focus." }
-        { { $snippet "grab-input?" } " - if set to " { $link t } ", the world will hide the mouse cursor and disable normal mouse input while focused. Use " { $link grab-input } " and " { $link ungrab-input } " to change this setting." }
-        { { $snippet "handle" } " - a backend-specific native handle representing the native window containing the world, or " { $link f } " if the world is not grafted." }
-        { { $snippet "window-loc" } " - the on-screen location of the native window containing the world. The co-ordinate system here is backend-specific." }
-        { { $snippet "window-controls" } " - the set of " { $link "ui.gadgets.worlds-window-controls" } " with which the world window was created." }
+        { { $slot "active?" } " - if set to " { $link f } ", the world will not be drawn. This slot is set to " { $link f } " if an error is thrown while drawing the world; this prevents multiple debugger windows from being shown." }
+        { { $slot "layers" } " - a sequence of glass panes in front of the primary gadget, used to implement behaviors such as popup menus which are hidden when the mouse is clicked outside the menu. See " { $link "ui.gadgets.glass" } "." }
+        { { $slot "title" } " - a string to be displayed in the title bar of the native window containing the world." }
+        { { $slot "status" } " - a " { $link model } " holding a string to be displayed in the world's status bar." }
+        { { $slot "status-owner" } " - the gadget that displayed the most recent status message." }
+        { { $slot "focus" } " - the current owner of the keyboard focus in the world." }
+        { { $slot "focused?" } " - a boolean indicating if the native window containing the world has keyboard focus." }
+        { { $slot "grab-input?" } " - if set to " { $link t } ", the world will hide the mouse cursor and disable normal mouse input while focused. Use " { $link grab-input } " and " { $link ungrab-input } " to change this setting." }
+        { { $slot "handle" } " - a backend-specific native handle representing the native window containing the world, or " { $link f } " if the world is not grafted." }
+        { { $slot "window-loc" } " - the on-screen location of the native window containing the world. The co-ordinate system here is backend-specific." }
+        { { $slot "window-controls" } " - the set of " { $link "ui.gadgets.worlds-window-controls" } " with which the world window was created." }
     }
 } ;