63
63
// This API is not yet public.
65
65
extern gboolean webkit_web_history_item_is_target_item(WebKitWebHistoryItem*);
66
66
extern GList* webkit_web_history_item_get_children(WebKitWebHistoryItem*);
67
67
extern void webkit_web_settings_add_extra_plugin_directory(WebKitWebView* view, const gchar* directory);