HTMLDocument.registerElement is deprecated.

[ljsinclair]

FYI This issue was found in Pulsar Edit 1.63.20221204 on a Windows 10 environment

Use customElements.define instead of document.registerElement see https://javascript.info/custom-elements

HTMLDocument.registerElement (file:///C:/Users/me/AppData/Local/Programs/pulsar/resources/app.asar/static/index.js:99:12)
registerElement (C:\Users\me\.pulsar\packages\save-workspace\node_modules\space-pen\lib\space-pen.js:66:88)
Builder.openTag (C:\Users\me\.pulsar\packages\save-workspace\node_modules\space-pen\lib\space-pen.js:297:27)
Builder.tag (C:\Users\me\.pulsar\packages\save-workspace\node_modules\space-pen\lib\space-pen.js:274:12)
Function.div (C:\Users\me\.pulsar\packages\save-workspace\node_modules\space-pen\lib\space-pen.js:83:49)
Function.content (C:\Users\me\.pulsar\packages\save-workspace\lib\views\input-workspace-name-view.js:56:15)