From 650fdc8fe5d3ff10b2e7da2e3b502dc65b4fe3fa Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sat, 29 Oct 2011 15:11:01 -0700 Subject: [PATCH] help.html: use GET not POST for search form, so that the search term appears in the URL, and to make the back button work. Fixes #312 --- basis/help/html/html.factor | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index 29174b6127..f19cd705e5 100644 --- a/basis/help/html/html.factor +++ b/basis/help/html/html.factor @@ -1,4 +1,4 @@ -! Copyright (C) 2008, 2010 Slava Pestov. +! Copyright (C) 2008, 2011 Slava Pestov. ! See http://factorcode.org/license.txt for BSD license. USING: io.encodings.utf8 io.encodings.binary io.files io.files.temp io.directories html.streams help help.home kernel @@ -70,7 +70,7 @@ M: topic url-of topic>filename ; Factor Documentation | Home | Glossary | -
+
@@ -81,8 +81,12 @@ M: topic url-of topic>filename ; : help>html ( topic -- xml ) [ article-title " - Factor Documentation" append ] [ drop help-stylesheet ] - [ [ print-topic ] with-html-writer help-navbar prepend ] - tri simple-page ; + [ + [ help-navbar ] + [ [ print-topic ] with-html-writer ] + bi* append + ] tri + simple-page ; : generate-help-file ( topic -- ) dup topic>filename utf8 [ help>html write-xml ] with-file-writer ;