{"version":3,"sources":["https://lively-kernel.org/lively4/lively4-stable/src/babylonian-programming-editor/ui/instance-widget.js"],"names":["FormWidget","DeleteButton","ExpandButton","PrePostscriptButton","InstanceWidget","constructor","editor","location","kind","instances","customInstances","changeCallback","deleteCallback","_getNameElement","_addButtonElement","buttonElement","appendChild","_deleteCallback","_onExpandClicked","bind","_element","_update","innerHTML","element","_addFormElements"],"mappings":";;;;;;;;;;;;AAAOA,gB;;AAELC,kB,cAAAA,Y;AACAC,kB,cAAAA,Y;AACAC,yB,cAAAA,mB;;;;;;;;;;;AAJKH,qD;;;;;;;;;;;;;AAILG,8D;;;;;;;;;;;;;AADAD,uD;;;;;;;;;;;;;AADAD,uD;;;;;;;AAMa,YAAMG,cAAN,SAA6BJ,UAA7B,CAAwC;AACrDK,oBAAYC,MAAZ,EAAoBC,QAApB,EAA8BC,IAA9B,EAAoCC,SAApC,EAA+CC,eAA/C,EAAgEC,cAAhE,EAAgFC,cAAhF,EAAgG;AAC9F,gBAAMN,MAAN,EAAcC,QAAd,EAAwBC,IAAxB,EAA8BC,SAA9B,EAAyCC,eAAzC,EAA0DC,cAA1D,EAA0EC,cAA1E;AACD;;AAED;;AAEAC,0BAAkB;AAChB,iBAAO,MAAMA,eAAN,CAAsB,2BAAtB,CAAP;AACD;;AAEDC,4BAAoB;AAClB,gBAAMC,8EAA4B,SAA5B;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,YAAN;AACAA,wBAAcC,WAAd,CAA0Bf,aAAa,KAAKgB,eAAlB,CAA1B;AACAF,wBAAcC,WAAd,CAA0Bd,aAAa,KAAKgB,gBAAL,CAAsBC,IAAtB,CAA2B,IAA3B,CAAb,CAA1B;AACA,eAAKC,QAAL,CAAcJ,WAAd,CAA0BD,aAA1B;AACD;;AAEDM,kBAAU;AACR,eAAKD,QAAL,CAAcE,SAAd,GAA0B,EAA1B;AACA,eAAKR,iBAAL;AACA,eAAKM,QAAL,CAAcJ,WAAd,CAA0B,KAAKH,eAAL,GAAuBU,OAAjD;AACA,eAAKC,gBAAL;AACD;AAvBoD;;yBAAlCpB,c;;;;;;;;6BAAAA,+C","file":"instance-widget.js","sourcesContent":["import FormWidget from \"./form-widget.js\";\nimport {\n  DeleteButton,\n  ExpandButton,\n  PrePostscriptButton,\n} from \"./buttons.js\";\n\n\nexport default class InstanceWidget extends FormWidget {\n  constructor(editor, location, kind, instances, customInstances, changeCallback, deleteCallback) {\n    super(editor, location, kind, instances, customInstances, changeCallback, deleteCallback);\n  }\n  \n  // UI Generators\n  \n  _getNameElement() {\n    return super._getNameElement(\"example-name space-before\");\n  }\n  \n  _addButtonElement() {\n    const buttonElement = <span class=\"buttons\"></span>;\n    buttonElement.appendChild(DeleteButton(this._deleteCallback));\n    buttonElement.appendChild(ExpandButton(this._onExpandClicked.bind(this)));\n    this._element.appendChild(buttonElement);\n  }\n  \n  _update() {\n    this._element.innerHTML = \"\";\n    this._addButtonElement();\n    this._element.appendChild(this._getNameElement().element);\n    this._addFormElements();\n  }\n}\n"]}