Re: Issue 2339 (case sensitivity has no effect)

In message <567bd604.7050...@smoothartist.com> Michael Drake wrote: >Hi Dave, > >I replied on IRC, but from your subsequent comments, you didn't see that. > >On 30/11/15 22:15, Dave Higton wrote: >> I also have some questions: >> >> 1) Are the first two additions necessary or desirable?

Re: Issue 2339 (case sensitivity has no effect)

-In- message <567bd604.7050...@smoothartist.com> Michael Drake wrote: >Hi Dave, > >I replied on IRC, but from your subsequent comments, you didn't see that. > >On 30/11/15 22:15, Dave Higton wrote: >> I also have some questions: >> >> 1) Are the first two additions necessary or desirabl

Re: Issue 2339 (case sensitivity has no effect)

Hi Dave, I replied on IRC, but from your subsequent comments, you didn't see that. On 30/11/15 22:15, Dave Higton wrote: I also have some questions: 1) Are the first two additions necessary or desirable? They shouldn't be needed but should do no harm. When you call browser_window_search the