HTMLDocument.registerElement is deprecated.

[FrankwwWeber]

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

HTMLDocument.registerElement (file:///Applications/Pulsar.app/Contents/Resources/app.asar/static/index.js:101:12)
f (/Users/frank/.pulsar/packages/script/node_modules/atom-space-pen-views-plus/lib/main.js:26:87233)
e.openTag (/Users/frank/.pulsar/packages/script/node_modules/atom-space-pen-views-plus/lib/main.js:26:91114)
e.tag (/Users/frank/.pulsar/packages/script/node_modules/atom-space-pen-views-plus/lib/main.js:26:90760)
Function.div (/Users/frank/.pulsar/packages/script/node_modules/atom-space-pen-views-plus/lib/main.js:26:88521)
Function.content (/Users/frank/.pulsar/packages/script/lib/header-view.js:10:17)