it is very easy to add ignorecase search !
![]() ![]() |
you could use a mode toggle ie "g" or "ig", "gi" does not works ! I added also a toggle key ([ctrl]+[shift]+I ) to call a toggle function : var mode = "g" ;
and replace your lines : var regex = new RegExp("(" + s + ")", "g");
and reg = new RegExp("(^|<[^>]+>)([^<]*" + s + "[^<]*)($|<[^>]+>)", "g");
|
![]() ![]() |
Of course, you are correct. Thanks for the tip! I have updated the script. One can now change between case sensitive and case insensitive search by pressing Ctrl + Shift + M for Mode. Ctrl + Shift + I is already used in Opera for bringing up developer tools. M should be free. http://support.mozilla.com/en-US/kb/Keyboard+sh... http://help.opera.com/Windows/9.50/en/keyboard.... |



