[Webkit-unassigned] [Bug 185370] WKPageSetMediaVolume() API couldn't be used to restore the volume

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Mon May 7 01:16:57 PDT 2018


https://bugs.webkit.org/show_bug.cgi?id=185370

--- Comment #2 from Xabier Rodríguez Calvar <calvaris at igalia.com> ---
(In reply to Vivek Arumugam from comment #0)
> The WKPageSetMediaVolume() API takes a floating point input ranging 0-1
> which is used as a multiplier against all the media elements of a page thus
> acts as a master volume control. But however the current implementation
> doesn't maintain the actual volume set from the upper layers (i.e JS / Media
> Player App) so every time UI Process calls this API the internal volume gets
> only reduced thus preventing us to get the previous volume back. Result is
> this API can't be used to temporarily reduce and restore the volume on
> demand.

Yes, as we discussed in private, we'd need Dimm and UnDimm API that goes from the WebKit API layer down to the HTMLMediaElement. In the HTMLMediaElement or the MediaPlayer we would keep the former volume and when Dimming and restore it without multiplying when UnDimming.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20180507/5004970c/attachment.html>


More information about the webkit-unassigned mailing list