From d08e10bff6a640cee6006989c0d4cfd28315519c Mon Sep 17 00:00:00 2001 From: Joe Groff Date: Sat, 24 Oct 2009 15:47:23 -0500 Subject: [PATCH] link to the glossary from the help browser toolbar --- basis/ui/tools/browser/browser.factor | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/basis/ui/tools/browser/browser.factor b/basis/ui/tools/browser/browser.factor index 173e1c0595..f6a0855637 100644 --- a/basis/ui/tools/browser/browser.factor +++ b/basis/ui/tools/browser/browser.factor @@ -121,13 +121,17 @@ M: browser-gadget focusable-child* search-field>> ; : browser-help ( -- ) "ui-browser" com-browse ; +: glossary ( -- ) "conventions" com-browse ; + \ browser-help H{ { +nullary+ t } } define-command +\ glossary H{ { +nullary+ t } } define-command browser-gadget "toolbar" f { { T{ key-down f { A+ } "LEFT" } com-back } { T{ key-down f { A+ } "RIGHT" } com-forward } { T{ key-down f { A+ } "H" } com-home } { T{ key-down f f "F1" } browser-help } + { T{ key-down f { A+ } "F1" } glossary } } define-command-map : ?show-help ( link browser -- )