{"version":3,"sources":["https://lively-kernel.org/lively4/lively4-livelyenergy/src/components/demo/lively-petrinet-pane.js"],"names":["Morph","LivelyPetrinetPane","initialize","windowTitle","registerButtons","attachedCallback","detachedCallback","onAddButton","addBall"],"mappings":";;;;;;AAAOA,W;;;;;;;;;;;;;;;;;;AAGQ,YAAMC,kBAAN,SAAiCD,KAAjC,CAAuC;;AAEpDE,qBAAa;AACX,eAAKC,WAAL,GAAmB,oBAAnB;AACA,eAAKC,eAAL;AACD;;AAEDC,2BAAmB,CAClB;;AAEDC,2BAAmB,CAClB;;AAGDC,sBAAc;AACZ,eAAKC,OAAL;AACD;;AAhBmD;;yBAAjCP,kB","file":"lively-petrinet-pane.js","sourcesContent":["import Morph from \"src/components/widgets/lively-morph.js\"\n\n\nexport default class LivelyPetrinetPane extends Morph {\n\n  initialize() {\n    this.windowTitle = \"LivelyPetrinetPane\";\n    this.registerButtons();\n  }\n  \n  attachedCallback() {\n  }\n  \n  detachedCallback() {\n  }\n  \n  \n  onAddButton() {\n    this.addBall()\n  }\n\n}"]}