Re: [webkit-dev] Webkit seizes sound device

2013-11-30 Thread Allan Sandfeld Jensen 
On Saturday 30 November 2013, Benjamin Poulain wrote:
 On 11/29/13, 4:32 PM, Jeffrey Barish wrote:
  When I visit a web page that wants to play a sound, webkit opens the
  sound device and never lets go of it until the application exits.  I
  would like for webkit not to open the sound device (and ignore the play
  request, obviously). Is there a way to tell webkit globally that it
  should ignore all sounds and never, ever open the sound device?
 
 Each platform handle multimedia differently.
 
 I guess this is for GTK?
 The right mailing list would be WebKit-gtk.
 
The option to not allow auto-play could still be relevant. If I remember 
correctly disabling autoplay it is one of the changes in both the old android 
port and iOS port that isn't in trunk.

But yes grabbing the audio device is not only port specific but setup 
specific. I believe the gstreamer backend expects you to be using pulseaudio.

Regards
`Allan
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

[webkit-dev] Webkit seizes sound device

2013-11-29 Thread Jeffrey Barish 
When I visit a web page that wants to play a sound, webkit opens the sound 
device and never lets go of it until the application exits.  I would like for 
webkit not to open the sound device (and ignore the play request, obviously).  
Is there a way to tell webkit globally that it should ignore all sounds and 
never, ever open the sound device?


___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

Re: [webkit-dev] Webkit seizes sound device

2013-11-29 Thread Benjamin Poulain 
On 11/29/13, 4:32 PM, Jeffrey Barish wrote:
 When I visit a web page that wants to play a sound, webkit opens the sound 
 device and never lets go of it until the application exits.  I would like for 
 webkit not to open the sound device (and ignore the play request, obviously). 
  
 Is there a way to tell webkit globally that it should ignore all sounds and 
 never, ever open the sound device?

Each platform handle multimedia differently.

I guess this is for GTK?
The right mailing list would be WebKit-gtk.

Benjamin
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev