{"version":3,"sources":["https://lively-kernel.org/lively4/lively4-constraints/src/components/demo/lively-petrinet-token.js"],"names":["Morph","LivelyPetrinetDot","initialize","windowTitle","registerButtons"],"mappings":";;;;;;AAAOA,W;;;;;;;;;;;;;;;;;;AAEQ,YAAMC,iBAAN,SAAgCD,KAAhC,CAAsC;;AAEnDE,qBAAa;AACX,eAAKC,WAAL,GAAmB,mBAAnB;AACA,eAAKC,eAAL;AACD;;AALkD;;yBAAhCH,iB","file":"lively-petrinet-token.js","sourcesContent":["import Morph from \"src/components/widgets/lively-morph.js\"\n\nexport default class LivelyPetrinetDot extends Morph {\n\n  initialize() {\n    this.windowTitle = \"LivelyPetrinetDot\";\n    this.registerButtons();\n  }\n  \n   \n}"]}