More configuration for the user. - surf - Surf web browser.
       
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) README
 (DIR) LICENSE
       ---
 (DIR) commit de099ce636e90fa2ffa9ef54d3deb4597f60305e
 (DIR) parent 1f521e3badd2f8818e935015a32b2a4096829a1a
 (HTM) Author: Christoph Lohmann <20h@r-36.net>
       Date:   Fri, 21 Apr 2017 21:08:47 +0200
       
       More configuration for the user.
       
       Diffstat:
         config.def.h                        |       6 ++++++
         surf.c                              |       8 ++++++--
       
       2 files changed, 12 insertions(+), 2 deletions(-)
       ---
 (DIR) diff --git a/config.def.h b/config.def.h
       @@ -42,6 +42,12 @@ static Bool enablehtml5local      = TRUE;
        static Bool enablejava            = FALSE; /* Toggle if <applet> is allowed. */
        static Bool enablemediastream     = FALSE; /* Allow access to local video
                                                    * and audio input devices. */
       +static Bool enablemediasource     = FALSE; /* Allow JS to generate media
       +                                            * streams. */
       +static Bool dnsprefetching        = FALSE; /* DNS prefetching is insecure,
       +                                            * so disabled. */
       +static Bool offlineappcache       = FALSE; /* Allow offline web application
       +                                            * cache? NO! */
        static Bool loadimages            = TRUE;
        static Bool hidebackground        = FALSE;
        static Bool allowgeolocation      = TRUE;
 (DIR) diff --git a/surf.c b/surf.c
       @@ -1068,8 +1068,10 @@ newclient(void)
                g_object_set(G_OBJECT(settings), "html5-local-storage-database-path",
                                dbfolder, NULL);
                g_object_set(G_OBJECT(settings),
       -                        "enable-offline-web-application-cache", 0, NULL);
       -        g_object_set(G_OBJECT(settings), "enable-dns-prefetching", 0, NULL);
       +                        "enable-offline-web-application-cache",
       +                        offlineappcache, NULL);
       +        g_object_set(G_OBJECT(settings), "enable-dns-prefetching",
       +                        dnsprefetching, NULL);
                if (!(ua = getenv("SURF_USERAGENT")))
                        ua = useragent;
                g_object_set(G_OBJECT(settings), "user-agent", ua, NULL);
       @@ -1106,6 +1108,8 @@ newclient(void)
                             "enable-java-applet", enablejava, NULL);
                g_object_set(G_OBJECT(settings),
                             "enable-media-stream", enablemediastream, NULL);
       +        g_object_set(G_OBJECT(settings),
       +                     "enable-mediasource", enablemediasource, NULL);
                if (enablestyle)
                        setstyle(c, getstyle("about:blank"));