[Webkit-unassigned] [Bug 144717] Web Inspector: Tabs: Conflicts with multiple Formatters per SourceCode

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=144717

Joseph Pecoraro <joepeck at webkit.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #271128|                            |review?, commit-queue?
              Flags|                            |

--- Comment #4 from Joseph Pecoraro <joepeck at webkit.org> ---
Created attachment 271128
  --> https://bugs.webkit.org/attachment.cgi?id=271128&action=review
[PATCH] Proposed Fix

Technically an issue with multiple Formatters can still exist:

    1. Open Resources tab
    2. Open jquery.js
    3. Close Resources tab
    4. Open / Jump to Location for jquery.js
       => possible problem

But this change is a big leap forward in the common case. Closing tabs presents all kinds of other problems we perform poorly at anyways.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20160212/9f0863a8/attachment.html>