commit | d993695b0ff2918e9bb9c3d0f7ec71606d18edf2 | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Mon May 26 16:35:27 1997 +0000 |
committer | Guido van Rossum <guido@python.org> | Mon May 26 16:35:27 1997 +0000 |
tree | 88200c44ba09daa79f9c17e25b3d9b7c90329482 | |
parent | 030144d9f6cbf82a5e0f5189dbd4c89d813062e3 [diff] |
Added keyword searching radio buttons.
diff --git a/Tools/faqwiz/faqconf.py b/Tools/faqwiz/faqconf.py index 7b374ad..6013e3f 100644 --- a/Tools/faqwiz/faqconf.py +++ b/Tools/faqwiz/faqconf.py
@@ -142,6 +142,12 @@ / <INPUT TYPE=radio NAME=querytype VALUE=regex> Regular expression + / + <INPUT TYPE=radio NAME=querytype VALUE=anykeywords> + Keywords (any) + / + <INPUT TYPE=radio NAME=querytype VALUE=allkeywords> + Keywords (all) <BR> <INPUT TYPE=radio NAME=casefold VALUE=yes CHECKED> Fold case