Patch to follow.
Created attachment 135318 [details] Patch
Please wait for approval from abarth@webkit.org, dglazkov@chromium.org, fishd@chromium.org, jamesr@chromium.org or tkent@chromium.org before submitting, as this patch contains changes to the Chromium public API. See also https://trac.webkit.org/wiki/ChromiumWebKitAPI.
Comment on attachment 135318 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=135318&action=review > Source/WebKit/chromium/public/WebDevToolsFrontendClient.h:54 > + virtual void save(const WebString& url, const WebString& content, bool saveAs) { } I think we should pass defaultFileName as well.
Committed r113032: <http://trac.webkit.org/changeset/113032>