On 2013-12-01 17:26, Jeffrey Barish wrote:
On Sunday, 01 December 2013 16:44:22 Philippe Normand wrote:
Which website are you trying to visit exactly?
Wikipedia. The page about John Philip Sousa, for example.
So you play the audio on that page and the audio device is not released,
right?
That bug has been fixed in version 1.11.1. 1.8.3 is quite old, I advise
you to report
that issue in Ubuntu's bug tracker, perhaps someone would cherry-pick
the patch:
https://bugs.webkit.org/show_bug.cgi?id=89122
Philippe
The webaudio setting would be useful only for websites using the
WebAudio API... Anyway, WebAudio is not even enabled in the build yet
so
this setting has no effect at all.
Which version of the webkitgtk package are you using exactly?
dpkg says
libwebkitgtk-1.0-0 1.8.3-0ubuntu0.12.04.1
Can you test the latest stable release?
Probably beyond my abilities. If it's available as a deb package
maybe.
Philippe
On Sat, 2013-11-30 at 10:00 -0700, Jeffrey Barish wrote:
> Apologies to those who have seen this message on the webkit mailing list.
> I erroneously subscribed to that list before understanding that I should
> have subscribed to this one.
>
> When I visit a web page that wants to play a sound, webkit opens the sound
> device and never lets go of it until I navigate away from the page. I
> would like for webkit not to open the sound device (and to ignore any
> play request, obviously). Is there a way to tell webkit globally that it
> should ignore all sounds and never, ever open the sound device?
>
> I am on Lubuntu 12.04. webkit appears to be 1.0.
>
> I found the enable_webaudio property in WebSettings. It seemed as if it
> would solve my problem, but it was already at its default value (False).
>
> I tried changing some settings in dconf-editor:
>
> org | gnome | desktop | media-handling | autorun-never -> ticked
> org | gnome | desktop | media-handling | autorun-x-content-ignore ->
> ['audio/ogg']
> desktop | gstreamer | 0.10 | default-elements |
> {chat,music,sounds}-audiosink -> fakesink
>
> all to no avail. Any suggestions? My best idea at this point is to
> filter the <audio></audio> item out of the html, but I think that's a
> pretty bad idea.
>
> Jeff
> _______________________________________________
> webkit-gtk mailing list
> [email protected]
> https://lists.webkit.org/mailman/listinfo/webkit-gtk
_______________________________________________
webkit-gtk mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-gtk
_______________________________________________
webkit-gtk mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-gtk
_______________________________________________
webkit-gtk mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-gtk
