{"version":3,"sources":["https://lively-kernel.org/lively4/lively4-core/src/components/demo/lively-petrinet-token.js"],"names":["Morph","Helper","LivelyPetrinetToken","initialize","windowTitle","registerButtons","colour","undefined","setColour","getAttribute","setAttribute","setSelectedStyle","get","style","border","getSelectedBorder","setDisselectedStyle","backgroundColor"],"mappings":";;;;;;AAAOA,W;;AACCC,Y,4CAAAA,M;;;;;;;;;;;AADDD,gD;;;;;;;;;;;;;AACCC,iD;;;;;;;AAEO,YAAMC,mBAAN,SAAkCF,KAAlC,CAAwC;;AAErDG,qBAAa;AACX,eAAKC,WAAL,GAAmB,qBAAnB;AACA,eAAKC,eAAL;AACA,cAAI,KAAKC,MAAL,IAAeC,SAAnB,EAA8B;AAC5B,iBAAKC,SAAL,CAAe,KAAKF,MAApB;AACD;AACF;;AAGD,YAAIA,MAAJ,GAAa;AACX,iBAAO,KAAKG,YAAL,CAAkB,QAAlB,CAAP;AACD;;AAED,YAAIH,MAAJ,CAAWA,MAAX,EAAmB;AACjB,eAAKI,YAAL,CAAkB,QAAlB,EAA4BJ,MAA5B;AACD;;AAEDK,2BAAmB;AAChB,eAAKC,GAAL,CAAS,QAAT,EAAmBC,KAAnB,CAAyBC,MAAzB,GAAkCb,OAAOc,iBAAP,EAAlC;AACF;;AAEDC,8BAAsB;AACpB,eAAKJ,GAAL,CAAS,QAAT,EAAmBC,KAAnB,CAAyBC,MAAzB,GAAkC,KAAlC;AACD;;AAEDN,kBAAUF,MAAV,EAAkB;AAChB,eAAKM,GAAL,CAAS,QAAT,EAAmBC,KAAnB,CAAyBI,eAAzB,GAA2CX,MAA3C;AACA,eAAKA,MAAL,GAAcA,MAAd;AACD;;AA9BoD;;yBAAlCJ,mB;;;;;;;;6BAAAA,oD","file":"lively-petrinet-token.js","sourcesContent":["import Morph from \"src/components/widgets/lively-morph.js\";\nimport {Helper} from \"src/components/demo/lively-petrinet-helper.js\";\n\nexport default class LivelyPetrinetToken extends Morph {\n\n  initialize() {\n    this.windowTitle = \"LivelyPetrinetToken\";\n    this.registerButtons();\n    if (this.colour != undefined) {\n      this.setColour(this.colour);\n    }\n  }\n  \n  \n  get colour() {\n    return this.getAttribute(\"colour\");\n  }\n  \n  set colour(colour) {\n    this.setAttribute(\"colour\", colour);\n  }\n  \n  setSelectedStyle() {\n     this.get(\"#token\").style.border = Helper.getSelectedBorder();\n  }\n  \n  setDisselectedStyle() {\n    this.get(\"#token\").style.border = \"0px\";\n  }\n  \n  setColour(colour) {\n    this.get(\"#token\").style.backgroundColor = colour;\n    this.colour = colour;\n  }\n  \n   \n}"]}