Merge lp:~midori/midori/noDeveloperExtrasOnWin32 into lp:midori

[Cris Dywan]

Always disable developer tools on Win32

[Paweł Forysiuk (tuxator)]

review: Approve

=== modified file 'midori/midori-frontend.c'
--- midori/midori-frontend.c	2014-04-23 03:34:23 +0000
+++ midori/midori-frontend.c	2015-04-11 22:19:35 +0000
@@ -481,7 +481,11 @@
     gchar** extensions;
     MidoriWebSettings* settings = midori_settings_new_full (&extensions);
     g_object_set (settings,
+#ifdef G_OS_WIN32
+                  "enable-developer-extras", FALSE,
+#else
                   "enable-developer-extras", TRUE,
+#endif
                   "enable-html5-database", TRUE,
                   "block-uris", block_uris,
                   NULL);