Changeset 129000 in webkit
- Timestamp:
- Sep 19, 2012 7:09:03 AM (12 years ago)
- Location:
- trunk/Source/WebKit/gtk
- Files:
-
- 4 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/Source/WebKit/gtk/ChangeLog
r128596 r129000 1 2012-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 1 18 2012-09-14 Zan Dobersek <zandobersek@gmail.com> 2 19 -
trunk/Source/WebKit/gtk/webkit/webkitwebsettings.cpp
r128231 r129000 115 115 PROP_ENABLE_DNS_PREFETCHING, 116 116 PROP_ENABLE_WEBGL, 117 PROP_ENABLE_MEDIA_STREAM, 117 118 PROP_ENABLE_WEB_AUDIO, 118 119 PROP_ENABLE_ACCELERATED_COMPOSITING, … … 890 891 TRUE, 891 892 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)); 892 912 893 913 /** … … 1131 1151 priv->enableWebgl = g_value_get_boolean(value); 1132 1152 break; 1153 case PROP_ENABLE_MEDIA_STREAM: 1154 priv->enableMediaStream = g_value_get_boolean(value); 1155 break; 1133 1156 case PROP_ENABLE_WEB_AUDIO: 1134 1157 priv->enableWebAudio = g_value_get_boolean(value); … … 1307 1330 case PROP_ENABLE_WEBGL: 1308 1331 g_value_set_boolean(value, priv->enableWebgl); 1332 break; 1333 case PROP_ENABLE_MEDIA_STREAM: 1334 g_value_set_boolean(value, priv->enableMediaStream); 1309 1335 break; 1310 1336 case PROP_ENABLE_WEB_AUDIO: -
trunk/Source/WebKit/gtk/webkit/webkitwebsettingsprivate.h
r128231 r129000 79 79 gboolean enableDNSPrefetching; 80 80 gboolean enableWebgl; 81 gboolean enableMediaStream; 81 82 gboolean enableWebAudio; 82 83 gboolean enableAcceleratedCompositing; -
trunk/Source/WebKit/gtk/webkit/webkitwebview.cpp
r128231 r129000 81 81 #include "RenderView.h" 82 82 #include "ResourceHandle.h" 83 #include "RuntimeEnabledFeatures.h" 83 84 #include "ScriptValue.h" 84 85 #include "Settings.h" … … 3431 3432 #if ENABLE(WEBGL) 3432 3433 coreSettings->setWebGLEnabled(settingsPrivate->enableWebgl); 3434 #endif 3435 3436 #if ENABLE(MEDIA_STREAM) 3437 WebCore::RuntimeEnabledFeatures::setMediaStreamEnabled(settingsPrivate->enableMediaStream); 3433 3438 #endif 3434 3439
Note: See TracChangeset
for help on using the changeset viewer.