[webkit-gtk] Resources in WebKit2 GTK+ API

[Martin Robinson]

On Thu, Feb 9, 2012 at 10:17 AM, Carlos Garcia Campos
<cgarcia at igalia.com> wrote:

>> > void webkit_web_view_save_to_dir (WebKitWebView          *web_view,
>> >                                                        const gchar                *uri,
>> >                                                        GAsyncReadyCallback callback,
>> >                                                        gpointer                       user_data);
>>
>> How does the URI argument work here?
>
> Maybe it shoulnd't be called _to_dir(). URI is the destination uri to
> save the main page, the directory to store the resources is created in
> the same dir where uri is.

Oh, I see now. In this case something like webkit_web_view_save_to_uri
might make sense.

>>  Does it change the current page?
> what do you mean?

I was just mistaken above, so this question doesn't make sense any longer. :)

>> We might consider adding a boolean here determining whether to save
>> all the resources or just the main resource. Chromium has this option
>> in its save dialog.
>
> Good point, maybe an enum SAVE_ALL, SAVE_MAIN_RESOURCE or something like
> that to avoid booleans.

I like that even better.

--Martin