"text" is more meaningful than "glimpse"

This commit is contained in:
jwz 1998-06-13 01:38:31 +00:00
Родитель 2e85b9ad26
Коммит b5968beb12
2 изменённых файлов: 2 добавлений и 2 удалений

Просмотреть файл

@ -89,7 +89,7 @@ function js_file_menu(file,d) {
</TD>
<TD NOWRAP ID="string">
<FORM METHOD=GET ACTION="/webtools/lxr/search">
<A HREF="/webtools/lxr/search">Glimpse</A>:
<A HREF="/webtools/lxr/search">Text</A>:
<INPUT TYPE=TEXT NAME="string" VALUE="" SIZE=6>
<INPUT TYPE=SUBMIT VALUE="Find">
</FORM>

Просмотреть файл

@ -14,7 +14,7 @@
</TD>
<TD NOWRAP ID="string">
<FORM METHOD=GET ACTION="/webtools/lxr/search">
<A HREF="/webtools/lxr/search">Glimpse</A>:
<A HREF="/webtools/lxr/search">Text</A>:
<INPUT TYPE=TEXT NAME="string" VALUE="" SIZE=6>
<INPUT TYPE=SUBMIT VALUE="Find">
</FORM>