From 42d93005ac3933ed87e3d20ddce8bffb68290e27 Mon Sep 17 00:00:00 2001 From: Timothy Flynn Date: Thu, 20 Apr 2023 06:47:48 -0400 Subject: [PATCH] LibWeb: Add a getter for HTMLMediaElement's current playback position This will be needed by the layout node, which may change what is painted when the position of the frame image is not the same as the element's current time. --- Userland/Libraries/LibWeb/HTML/HTMLMediaElement.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Userland/Libraries/LibWeb/HTML/HTMLMediaElement.h b/Userland/Libraries/LibWeb/HTML/HTMLMediaElement.h index 1392a37658..6d06d98250 100644 --- a/Userland/Libraries/LibWeb/HTML/HTMLMediaElement.h +++ b/Userland/Libraries/LibWeb/HTML/HTMLMediaElement.h @@ -63,6 +63,8 @@ public: double current_time() const; void set_current_time(double); + + double current_playback_position() const { return m_current_playback_position; } void set_current_playback_position(double); double duration() const;