{"version":3,"sources":["https://lively-kernel.org/lively4/lively4-livelyenergy/src/components/demo/lively-petrinet-token.js"],"names":["Morph","LivelyPetrinetToken","initialize","windowTitle","registerButtons"],"mappings":";;;;;;AAAOA,W;;;;;;;;;;;;;;;;;;AAEQ,YAAMC,mBAAN,SAAkCD,KAAlC,CAAwC;;AAErDE,qBAAa;AACX,eAAKC,WAAL,GAAmB,mBAAnB;AACA,eAAKC,eAAL;AACD;;AALoD;;yBAAlCH,mB","file":"lively-petrinet-token.js","sourcesContent":["import Morph from \"src/components/widgets/lively-morph.js\"\n\nexport default class LivelyPetrinetToken extends Morph {\n\n  initialize() {\n    this.windowTitle = \"LivelyPetrinetDot\";\n    this.registerButtons();\n  }\n  \n   \n}"]}