[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add "ignore case" and "other files" checkboxes to search for
Re: [PATCH] Add "ignore case" and "other files" checkboxes to search form
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
> > "Other files" checkbox is generated only when all -o, the -D, and
> > enable_g
> > 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