From: John Benediktsson Date: Sun, 25 Sep 2022 17:35:40 +0000 (-0700) Subject: help.html: implement "/" for making search box active. X-Git-Tag: 0.99~1069 X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=cecb978bae17cfda6701194d6e7739d5d041f039 help.html: implement "/" for making search box active. --- diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index d179b3ef3a..4cd0f8c889 100644 --- a/basis/help/html/html.factor +++ b/basis/help/html/html.factor @@ -91,12 +91,31 @@ M: pathname url-of /> XML] ; +: help-script ( -- xml ) + [XML + + XML] ; + +: help-header ( stylesheet -- xml ) + help-stylesheet help-meta swap help-script 3append ; + : help-nav ( -- xml ) "conventions" >link topic>filename [XML