steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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

db4
Slava Pestov 2011-10-29 15:11:01 -07:00
parent 4c3c4f177b
commit 650fdc8fe5
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
basis/help/html/html.factor
View File

@ -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. ! See http://factorcode.org/license.txt for BSD license.
USING: io.encodings.utf8 io.encodings.binary io.files USING: io.encodings.utf8 io.encodings.binary io.files
io.files.temp io.directories html.streams help help.home kernel io.files.temp io.directories html.streams help help.home kernel
@ -70,7 +70,7 @@ M: topic url-of topic>filename ;
<b> Factor Documentation </b> | <b> Factor Documentation </b> |
<a href="/">Home</a> | <a href="/">Home</a> |
<a href="article-conventions.html">Glossary</a> | <a href="article-conventions.html">Glossary</a> |
<form method="post" action="/search" style="display:inline;"> <form method="get" action="/search" style="display:inline;">
<input name="search" type="text"/> <input name="search" type="text"/>
<button type="submit">Search</button> <button type="submit">Search</button>
</form> </form>
@ -81,8 +81,12 @@ M: topic url-of topic>filename ;
: help>html ( topic -- xml ) : help>html ( topic -- xml )
[ article-title " - Factor Documentation" append ] [ article-title " - Factor Documentation" append ]
[ drop help-stylesheet ] [ 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 -- ) : generate-help-file ( topic -- )
dup topic>filename utf8 [ help>html write-xml ] with-file-writer ; dup topic>filename utf8 [ help>html write-xml ] with-file-writer ;