[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: |
Hideki IWAMOTO |
|
Subject: |
Re: [PATCH] Add "ignore case" and "other files" checkboxes to search form |
|
Date: |
Mon, 09 Jun 2003 15:26:04 +0900 |
On Sat, 07 Jun 2003 19:27:05 +0900, Shigio Yamaguchi wrote...
> > * 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?
You are right. It is unnecessary.
----
Hideki IWAMOTO address@hidden