RESOLVED FIXED 198897
Web Inspector: Sources: searching doesn't use the case sensitive or regex global settings 
https://bugs.webkit.org/show_bug.cgi?id=198897
Summary Web Inspector: Sources: searching doesn't use the case sensitive or regex glo...
Devin Rousso
Reported 2019-06-15 18:47:30 PDT
.
Attachments
Patch (2.22 KB, patch)
2019-06-15 19:15 PDT, Devin Rousso 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Devin Rousso
Comment 1 2019-06-15 19:15:21 PDT
Created attachment 372209 [details] Patch
Joseph Pecoraro
Comment 2 2019-06-17 10:57:55 PDT
Comment on attachment 372209 [details] Patch r=me
WebKit Commit Bot
Comment 3 2019-06-17 11:28:09 PDT
Comment on attachment 372209 [details] Patch Clearing flags on attachment: 372209 Committed r246502: <https://trac.webkit.org/changeset/246502>
WebKit Commit Bot
Comment 4 2019-06-17 11:28:10 PDT
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 5 2019-06-17 11:29:18 PDT
<rdar://problem/51813629>
Note You need to log in before you can comment on or make changes to this bug.