[Modern Media Controls] Implement the pageScaleFactor property

[WebKit-https.git] / Source / WebCore / Modules / modern-media-controls / controls / media-controls.js

diff --git a/Source/WebCore/Modules/modern-media-controls/controls/media-controls.js b/Source/WebCore/Modules/modern-media-controls/controls/media-controls.js
index fd5488a..78503d7 100644 (file)
--- a/Source/WebCore/Modules/modern-media-controls/controls/media-controls.js
+++ b/Source/WebCore/Modules/modern-media-controls/controls/media-controls.js
@@ -30,6 +30,8 @@ class MediaControls extends LayoutNode
     {
         super(`<div class="media-controls">`);
 
+        this._scaleFactor = 1;
+
         this.width = width;
         this.height = height;
         this.layoutTraits = layoutTraits;
@@ -80,6 +82,20 @@ class MediaControls extends LayoutNode
         this.element.classList.toggle("uses-ltr-user-interface-layout-direction", flag);
     }
 
+    get scaleFactor()
+    {
+        return this._scaleFactor;
+    }
+    
+    set scaleFactor(scaleFactor)
+    {
+        if (this._scaleFactor === scaleFactor)
+            return;
+    
+        this._scaleFactor = scaleFactor;
+        this.markDirtyProperty("scaleFactor");
+    }
+
     get showsPlacard()
     {
         return this.children[0] instanceof Placard;
@@ -106,6 +122,16 @@ class MediaControls extends LayoutNode
         this.element.classList.add("fade-in");
     }
 
+    // Protected
+
+    commitProperty(propertyName)
+    {
+        if (propertyName === "scaleFactor")
+            this.element.style.zoom = 1 / this._scaleFactor;
+        else
+            super.commitProperty(propertyName);
+    }
+
     // Private
 
     _invalidateChildren()