[Webkit-unassigned] [Bug 257053] New: Width of <mspace> can't be changed twice

Fri May 19 14:32:58 PDT 2023

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

            Bug ID: 257053
           Summary: Width of <mspace> can't be changed twice
           Product: WebKit
           Version: Safari 16
          Hardware: iPhone / iPad
                OS: iOS 16
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: MathML
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: pablo.platt at gmail.com

Calling el.setAttribute('width', x) only works on the first time.

In the example below the width of the element is set to 10px in the HTML then changed to 100px and after 1sec changed to 10px again.
On Safari/iPadOS 16.4.1 the width stays at 100px. On Chrome and Firefox the width is changed to 10px as expected.

Test:
https://output.jsbin.com/pemutitula/1

<!DOCTYPE html>
<html>
<head>
  <meta charset="utf-8">
  <meta name="viewport" content="width=device-width">
  <title></title>
</head>
<body>
  <math display="block">
    <mspace height="10px" width="10px"
          style="background: blue;"/>
  </math>
  <script>
    let el = document.getElementsByTagName('mspace')[0];
    el.setAttribute('width', '100px');
    setTimeout(() => {el.setAttribute('width', '10px');}, 1000);
  </script>
</body>
</html>

-- 
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/20230519/34d63d7f/attachment.htm>