[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add "ignore case" and "other files" checkboxes to search for
|
From: |
Shigio Yamaguchi |
|
Subject: |
Re: [PATCH] Add "ignore case" and "other files" checkboxes to search form |
|
Date: |
Sat, 07 Jun 2003 19:27:05 +0900 |
> * htags/htags.in: Add "Ignore case" and "Other files" checkboxes to search fo
rm.
> "Other files" checkbox is generated only when all -o, the -D, and enable_g
rep
> are specified.
It's very useful.
By the way, why is the -D flag necessary as the condition whether or not
enable 'Other files' checkbox?
--
Shigio Yamaguchi <address@hidden> - Tama Communications Corporation
Spare mail address: <address@hidden>
PGP fingerprint: D1CB 0B89 B346 4AB6 5663 C4B6 3CA5 BBB3 57BE DDA3