PetriNets / petrinets.github.io

Petrinet.org interactive playground website
http://petrinet.org
14 stars 8 forks source link

Fix the rendering of nets on firefox #22

Closed antonleviathan closed 5 years ago

antonleviathan commented 5 years ago

The shadow dom is not working as intended in Firefox (nets still "fire each other")

Using the shadydom polyfill. https://github.com/webcomponents/shadydom

antonleviathan commented 5 years ago

Closed via https://github.com/PetriNets/petrinets.github.io/pull/23

Ended up using the old renderer for Firefox for the time being.