Re: [git-users] (Bug report) gitk "IgnCase" search doesn't work

2018-06-14 Thread Juan Navarro
; there >> is no `-nocase` option in that version. >> >> https://wiki.tcl.tk/4385 https://www.tcl.tk/man/tcl8.5/TclCmd/string.htm >> give more for that version. needs close reading. >> >> - Original Message - >> From: "Philip Oakley&quo

Re: [git-users] (Bug report) gitk "IgnCase" search doesn't work

2018-06-14 Thread Juan Navarro
ore for that version. needs close reading. > > ----- Original Message ----- > From: "Philip Oakley" > > To: > > Sent: Wednesday, June 13, 2018 10:05 PM > Subject: Re: [git-users] (Bug report) gitk "IgnCase" search doesn't work > > > >

Re: [git-users] (Bug report) gitk "IgnCase" search doesn't work

2018-06-13 Thread Philip Oakley
akley" To: Sent: Wednesday, June 13, 2018 10:05 PM Subject: Re: [git-users] (Bug report) gitk "IgnCase" search doesn't work Hi Juan, I think it will be option 3 Have a dive into the tcl code (it's not that hard once you realise it's just code), search for the bit that does

Re: [git-users] (Bug report) gitk "IgnCase" search doesn't work

2018-06-13 Thread Philip Oakley
Hi Juan, I think it will be option 3 Have a dive into the tcl code (it's not that hard once you realise it's just code), search for the bit that does the IgnCase and see if you can spot what should have been done (at least where the issue may be). The git list will be interested and