[Webkit-unassigned] [Bug 161418] Web Inspector: Can't edit JS resource

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Tue Aug 30 22:07:10 PDT 2016


--- Comment #5 from Devin Rousso <dcrousso+webkit at gmail.com> ---
(In reply to comment #4)
> (In reply to comment #2)
> > Users should only be able to edit local (file:///) JavaScript resources. I
> > don't think we've ever been able to edit arbitrary JavaScript resources.
> I think we should change that. Most decently sized websites aren't developed
> using file scheme. Of the top of my head, there are two common use cases:
> 1. Local development server running on http://localhost:1234 or
> http://myapp.dev.
> 2. Remote development server with locally mounted partition (via SSHFS).

I agree that local development could benefit from this, but what would editing the resource do (will the new code written ever be executable)?  How about editing a non-local resource?  How do we even distinguish whether the resource is local?

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/20160831/a8e411ed/attachment.html>

More information about the webkit-unassigned mailing list