diff options
| author | Timothy Flynn <trflynn89@pm.me> | 2023-04-20 06:47:48 -0400 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2023-04-21 07:54:36 +0200 |
| commit | 42d93005ac3933ed87e3d20ddce8bffb68290e27 (patch) | |
| tree | e906f49ddcb5f1d6c6123ef42ef6a78e0d104273 /Userland/Libraries/LibWeb/HTML | |
| parent | dd188aafb9a47a4f6192c411807774ac8a5cf6ee (diff) | |
| download | serenity-42d93005ac3933ed87e3d20ddce8bffb68290e27.zip | |
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.
Diffstat (limited to 'Userland/Libraries/LibWeb/HTML')
| -rw-r--r-- | Userland/Libraries/LibWeb/HTML/HTMLMediaElement.h | 2 |
1 files changed, 2 insertions, 0 deletions
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; |