link to the glossary from the help browser toolbar
parent
7d10458aef
commit
d08e10bff6
|
@ -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 -- )
|
||||
|
|
Loading…
Reference in New Issue