From 63ee0de2f156f0c3184b0f9ee77c6b7269e5d4b8 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Tue, 13 Aug 2013 08:49:43 -0700 Subject: [PATCH] ui.gadgets.worlds: remove fonts slot from docs. --- basis/ui/gadgets/worlds/worlds-docs.factor | 1 - 1 file changed, 1 deletion(-) diff --git a/basis/ui/gadgets/worlds/worlds-docs.factor b/basis/ui/gadgets/worlds/worlds-docs.factor index 0d7e40a789..3dc03aa4ec 100644 --- a/basis/ui/gadgets/worlds/worlds-docs.factor +++ b/basis/ui/gadgets/worlds/worlds-docs.factor @@ -55,7 +55,6 @@ HELP: world { { $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 "fonts" } " - a hashtable used by the " { $link font-renderer } "." } { { $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." }