Disable DNS prefetching in private browsing mode

diff --git a/midori/main.c b/midori/main.c
index 4b5a4ce68885a1f615dbd62e8cd9fe310b370ba3..22db9958a1693a8f52a8c3a2b1c4cf27908b0a1f 100644 (file)
--- a/midori/main.c
+++ b/midori/main.c
@@ -2067,6 +2067,11 @@ main (int    argc,
             #if WEBKIT_CHECK_VERSION (1, 1, 2)
             g_object_set (settings, "enable-private-browsing", TRUE, NULL);
             #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, "ClearPrivateData", FALSE);
         }