{"version":3,"sources":["https://lively-kernel.org/lively4/lively4-bp2019/src/babylonian-programming-editor/ui/widget.js"],"names":["Widget","constructor","editor","location","kind","deleteCallback","_element","_lineWidget","addLineWidget","to","line","indentation","from","ch","_deleteCallback","clear","style","left","_update","Error"],"mappings":";;;;;;;;;;;;;;;AAAe,YAAMA,MAAN,CAAa;AAC1BC,oBAAYC,MAAZ,EAAoBC,QAApB,EAA8BC,IAA9B,EAAoCC,cAApC,EAAoD;AAClD,eAAKC,QAAL,8DAA6B,YAAYF,IAAzC;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AACA,eAAKG,WAAL,GAAmBL,OAAOM,aAAP,CAAqBL,SAASM,EAAT,CAAYC,IAAjC,EAAuC,KAAKJ,QAA5C,CAAnB;AACA,eAAKK,WAAL,GAAmBR,SAASS,IAAT,CAAcC,EAAjC;AACA,eAAKC,eAAL,GAAuBT,cAAvB;AACD;;AAEDU,gBAAQ;AACN,eAAKR,WAAL,CAAiBQ,KAAjB;AACD;;AAED,YAAIJ,WAAJ,CAAgBA,WAAhB,EAA6B;AAC3B,eAAKL,QAAL,CAAcU,KAAd,CAAoBC,IAApB,GAA4B,GAAEN,WAAY,IAA1C;AACD;;AAEDO,kBAAU;AACR,gBAAM,IAAIC,KAAJ,CAAU,oCAAV,CAAN;AACD;AAlByB;;yBAAPnB,M","file":"widget.js","sourcesContent":["export default class Widget {\n  constructor(editor, location, kind, deleteCallback) {\n    this._element = <span class={\"widget \" + kind}></span>;\n    this._lineWidget = editor.addLineWidget(location.to.line, this._element);\n    this.indentation = location.from.ch;\n    this._deleteCallback = deleteCallback;\n  }\n  \n  clear() {\n    this._lineWidget.clear();\n  }\n\n  set indentation(indentation) {\n    this._element.style.left = `${indentation}ch`;\n  }\n  \n  _update() {\n    throw new Error(\"Widget should not be used directly\");\n  }\n}"]}