[devhelp/wip/disable-sandbox] Disable the WebKitGTK sandbox

[Sébastien Wilmet <swilmet src gnome org>]

commit 350f55bc5073bbbf6fc254a5f4b55d51019509a2
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Mon Apr 6 14:20:24 2020 +0200

    Disable the WebKitGTK sandbox

 devhelp/dh-init.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/devhelp/dh-init.c b/devhelp/dh-init.c
index d13da5c6..c522c135 100644
--- a/devhelp/dh-init.c
+++ b/devhelp/dh-init.c
@@ -29,13 +29,13 @@ dh_init (void)
         static gboolean done = FALSE;
 
         if (!done) {
-                WebKitWebContext *webkit_context;
+//                WebKitWebContext *webkit_context;
 
                 bindtextdomain (GETTEXT_PACKAGE, LOCALEDIR);
                 bind_textdomain_codeset (GETTEXT_PACKAGE, "UTF-8");
 
-                webkit_context = webkit_web_context_get_default ();
-                webkit_web_context_set_sandbox_enabled (webkit_context, TRUE);
+//                webkit_context = webkit_web_context_get_default ();
+//                webkit_web_context_set_sandbox_enabled (webkit_context, TRUE);
 
                 done = TRUE;
         }