[Webkit-unassigned] [Bug 29960] New: [GTK] media player: better mute support
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Thu Oct 1 06:27:42 PDT 2009
https://bugs.webkit.org/show_bug.cgi?id=29960
Summary: [GTK] media player: better mute support
Product: WebKit
Version: 528+ (Nightly build)
Platform: PC
OS/Version: Linux
Status: UNCONFIRMED
Severity: Normal
Priority: P2
Component: WebKit Gtk
AssignedTo: webkit-unassigned at lists.webkit.org
ReportedBy: pnormand at igalia.com
As pointed out by slomo :)
MediaPlayerPrivateGStreamer.cpp in setMuted() it should really use
the "mute" property of playbin2. That keeps the current volume and just
mutes the audio ;)
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list