Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 779cc0077bb016c05b1869181c0166e1a8fe5ae9
https://github.com/WebKit/WebKit/commit/779cc0077bb016c05b1869181c0166e1a8fe5ae9
Author: Alicia Boya Garcia <ab...@igalia.com>
Date: 2023-08-29 (Tue, 29 Aug 2023)
Changed paths:
M Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.h
Log Message:
-----------
[GStreamer] Document the mess that is MediaPlayerPrivateGStreamer::m_isPaused
https://bugs.webkit.org/show_bug.cgi?id=260385
Reviewed by Xabier Rodriguez-Calvar.
Documentation patch, adding a FIXME for known issues.
* Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.h:
Canonical link: https://commits.webkit.org/267418@main
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
