Disable DNS prefetching in private browsing mode

This commit is contained in:
Christian Dywan 2011-04-07 22:10:21 +02:00
parent e449ce87e2
commit 42fa621cd9

View file

@ -2067,6 +2067,11 @@ main (int argc,
#if WEBKIT_CHECK_VERSION (1, 1, 2) #if WEBKIT_CHECK_VERSION (1, 1, 2)
g_object_set (settings, "enable-private-browsing", TRUE, NULL); g_object_set (settings, "enable-private-browsing", TRUE, NULL);
#endif #endif
/* Arguably DNS prefetching is or isn't a privacy concern. For the
* lack of more fine-grained control we'll go the safe route. */
#if WEBKIT_CHECK_VERSION (1, 3, 13)
g_object_set (settings, "enable-dns-prefetching", FALSE, NULL);
#endif
midori_browser_set_action_visible (browser, "Tools", FALSE); midori_browser_set_action_visible (browser, "Tools", FALSE);
midori_browser_set_action_visible (browser, "ClearPrivateData", FALSE); midori_browser_set_action_visible (browser, "ClearPrivateData", FALSE);
} }