Changeset 129000 in webkit


Ignore:
Timestamp:
Sep 19, 2012 7:09:03 AM (12 years ago)
Author:
commit-queue@webkit.org
Message:

[gtk] add enable-media-stream to websettings
https://bugs.webkit.org/show_bug.cgi?id=94361

Patch by Danilo Cesar Lemes de Paula <danilo.cesar@collabora.co.uk> on 2012-09-19
Reviewed by Martin Robinson.

Applications should be allowed to enable/disable MediaStream on webkitwebsettings.

  • webkit/webkitwebsettings.cpp:

(webkit_web_settings_class_init):
(webkit_web_settings_set_property):
(webkit_web_settings_get_property):

  • webkit/webkitwebsettingsprivate.h:
  • webkit/webkitwebview.cpp:

(webkit_web_view_update_settings):

Location:
trunk/Source/WebKit/gtk
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/Source/WebKit/gtk/ChangeLog

    r128596 r129000  
     12012-09-19  Danilo Cesar Lemes de Paula  <danilo.cesar@collabora.co.uk>
     2
     3        [gtk] add enable-media-stream to websettings
     4        https://bugs.webkit.org/show_bug.cgi?id=94361
     5
     6        Reviewed by Martin Robinson.
     7
     8        Applications should be allowed to enable/disable MediaStream on webkitwebsettings.
     9
     10        * webkit/webkitwebsettings.cpp:
     11        (webkit_web_settings_class_init):
     12        (webkit_web_settings_set_property):
     13        (webkit_web_settings_get_property):
     14        * webkit/webkitwebsettingsprivate.h:
     15        * webkit/webkitwebview.cpp:
     16        (webkit_web_view_update_settings):
     17
    1182012-09-14  Zan Dobersek  <zandobersek@gmail.com>
    219
  • trunk/Source/WebKit/gtk/webkit/webkitwebsettings.cpp

    r128231 r129000  
    115115    PROP_ENABLE_DNS_PREFETCHING,
    116116    PROP_ENABLE_WEBGL,
     117    PROP_ENABLE_MEDIA_STREAM,
    117118    PROP_ENABLE_WEB_AUDIO,
    118119    PROP_ENABLE_ACCELERATED_COMPOSITING,
     
    890891                                                         TRUE,
    891892                                                         flags));
     893    /**
     894    * WebKitWebSettings:enable-media-stream:
     895    *
     896    * Enable or disable support for Media Stream on pages. Media Stream is
     897    * an experimental proposal for allowing web pages to access local video and
     898    * audio input devices.  The standard is currently a work-in-progress as part
     899    * of the Web Applications 1.0 specification from WHATWG.
     900    *
     901    * See also http://www.w3.org/TR/mediacapture-streams/
     902    *
     903    * Since: 1.10.0
     904    */
     905    g_object_class_install_property(gobject_class,
     906                                    PROP_ENABLE_MEDIA_STREAM,
     907                                    g_param_spec_boolean("enable-media-stream",
     908                                                         _("Enable Media Stream"),
     909                                                         _("Whether Media Stream should be enabled"),
     910                                                         FALSE,
     911                                                         flags));
    892912
    893913    /**
     
    11311151        priv->enableWebgl = g_value_get_boolean(value);
    11321152        break;
     1153    case PROP_ENABLE_MEDIA_STREAM:
     1154        priv->enableMediaStream = g_value_get_boolean(value);
     1155        break;
    11331156    case PROP_ENABLE_WEB_AUDIO:
    11341157        priv->enableWebAudio = g_value_get_boolean(value);
     
    13071330    case PROP_ENABLE_WEBGL:
    13081331        g_value_set_boolean(value, priv->enableWebgl);
     1332        break;
     1333    case PROP_ENABLE_MEDIA_STREAM:
     1334        g_value_set_boolean(value, priv->enableMediaStream);
    13091335        break;
    13101336    case PROP_ENABLE_WEB_AUDIO:
  • trunk/Source/WebKit/gtk/webkit/webkitwebsettingsprivate.h

    r128231 r129000  
    7979    gboolean enableDNSPrefetching;
    8080    gboolean enableWebgl;
     81    gboolean enableMediaStream;
    8182    gboolean enableWebAudio;
    8283    gboolean enableAcceleratedCompositing;
  • trunk/Source/WebKit/gtk/webkit/webkitwebview.cpp

    r128231 r129000  
    8181#include "RenderView.h"
    8282#include "ResourceHandle.h"
     83#include "RuntimeEnabledFeatures.h"
    8384#include "ScriptValue.h"
    8485#include "Settings.h"
     
    34313432#if ENABLE(WEBGL)
    34323433    coreSettings->setWebGLEnabled(settingsPrivate->enableWebgl);
     3434#endif
     3435
     3436#if ENABLE(MEDIA_STREAM)
     3437    WebCore::RuntimeEnabledFeatures::setMediaStreamEnabled(settingsPrivate->enableMediaStream);
    34333438#endif
    34343439
Note: See TracChangeset for help on using the changeset viewer.