search in source boxes now ignores case unless the user puts an upper case character in the search request box
search in source boxes now ignores case unless the user puts an upper case character in the search request box

http://code.google.com/p/fbug/source/detail?r=1430

firebug/tracing-console,firebug/tracing-console