RESOLVED FIXED91101
Web Inspector: Remove resources panel edited resources search support. 
https://bugs.webkit.org/show_bug.cgi?id=91101
Summary Web Inspector: Remove resources panel edited resources search support.
Vsevolod Vlasov
Reported 2012-07-12 08:58:12 PDT
Resources could not be edited anymore so edited resources search is obsolete. Patch to follow.
Attachments
Patch (2.52 KB, patch)
2012-07-12 09:20 PDT, Vsevolod Vlasov 		pfeldman: review+
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Vsevolod Vlasov
Comment 1 2012-07-12 09:20:11 PDT
Created attachment 151969 [details] Patch
Vsevolod Vlasov
Comment 2 2012-07-12 09:37:34 PDT
Committed r122470: <http://trac.webkit.org/changeset/122470>
Note You need to log in before you can comment on or make changes to this bug.