Added keyword searching radio buttons.

This commit is contained in:
Guido van Rossum 1997-05-26 16:35:27 +00:00
parent 030144d9f6
commit d993695b0f

View file

@ -142,6 +142,12 @@ HOME = """
/
<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