+ /* Webview */
+ if (rv) {
+ v = WEBKIT_WEB_VIEW(
+ webkit_web_view_new_with_related_view(rv));
+ } else {
+ settings = webkit_settings_new_with_settings(
+ "allow-file-access-from-file-urls", curconfig[FileURLsCrossAccess].val.b,
+ "allow-universal-access-from-file-urls", curconfig[FileURLsCrossAccess].val.b,
+ "auto-load-images", curconfig[LoadImages].val.b,
+ "default-charset", curconfig[DefaultCharset].val.v,
+ "default-font-size", curconfig[FontSize].val.i,
+ "enable-caret-browsing", curconfig[CaretBrowsing].val.b,
+ "enable-developer-extras", curconfig[Inspector].val.b,
+ "enable-dns-prefetching", curconfig[DNSPrefetch].val.b,
+ "enable-frame-flattening", curconfig[FrameFlattening].val.b,
+ "enable-html5-database", curconfig[DiskCache].val.b,
+ "enable-html5-local-storage", curconfig[DiskCache].val.b,
+ "enable-java", curconfig[Java].val.b,
+ "enable-javascript", curconfig[JavaScript].val.b,
+ "enable-plugins", curconfig[Plugins].val.b,
+ "enable-accelerated-2d-canvas", curconfig[AcceleratedCanvas].val.b,
+ "enable-site-specific-quirks", curconfig[SiteQuirks].val.b,
+ "enable-smooth-scrolling", curconfig[SmoothScrolling].val.b,
+ "media-playback-requires-user-gesture", curconfig[MediaManualPlay].val.b,
+ NULL);
+/* For more interesting settings, have a look at
+ * http://webkitgtk.org/reference/webkit2gtk/stable/WebKitSettings.html */
+
+ if (strcmp(fulluseragent, "")) {
+ webkit_settings_set_user_agent(settings, fulluseragent);
+ } else if (surfuseragent) {
+ webkit_settings_set_user_agent_with_application_details(
+ settings, "Surf", VERSION);
+ }
+ useragent = webkit_settings_get_user_agent(settings);