{"mappings":";;+2BAAA,IAAAA,EAAA,EAAA,2BAAA,EAUA,SAASC,EACLC,EACAC,EACAC,EAAyB,EAAC,CAE1B,GAAIF,IAAeC,EACf,OAAOC,EAEX,GAAI,CAACF,EAAW,SAASC,CAAM,EAC3B,OAGJ,IAAIE,EAAc,EAClB,QAAWC,KAAa,MAAM,KAAKJ,EAAW,UAAU,EAAG,CACvD,IAAMK,EAAkCN,EAAgCK,EAAWH,EAAQC,CAAc,EACzG,GAAIG,IAAgB,OAChB,OAAAF,GAAeE,EACRF,EAEXA,GAAeC,EAAU,aAAa,QAAU,CACpD,CAEJ,CAEA,SAASE,EACLN,EACAO,EACAC,EAAoD,CAEpD,IAAIC,EACAC,EAQJ,OAPIH,IACAE,EAAQV,EAAgCC,EAAYO,EAAW,KAAMA,EAAW,MAAM,GAEtFC,IACAE,EAAMX,EAAgCC,EAAYQ,EAAS,KAAMA,EAAS,MAAM,GAGhFC,IAAU,OACNC,IAAQ,OACR,OAEO,IAAIZ,EAAA,MAAMY,EAAK,CAAC,EAGvBA,IAAQ,OACD,IAAIZ,EAAA,MAAMW,EAAO,CAAC,GAErBC,EAAMD,IACL,CAACA,EAAOC,CAAG,EAAI,CAACA,EAAKD,CAAK,GAExB,IAAIX,EAAA,MAAMW,EAAOC,EAAMD,CAAK,EAG/C,CAEA,SAASE,EAAwBX,EAAgB,CAC7C,IAAMY,EAAM,OAAO,aAAY,EAC/B,GAAIA,IAAQ,KACR,OAGJ,IAAIL,EACAK,EAAI,aACJL,EAAa,CAAE,KAAMK,EAAI,WAAY,OAAQA,EAAI,YAAY,GAEjE,IAAIJ,EACJ,OAAII,EAAI,YACJL,EAAa,CAAE,KAAMK,EAAI,UAAW,OAAQA,EAAI,WAAW,GAGxDN,EAA8BN,EAAYO,EAAYC,CAAQ,CACzE,CAEA,SAASK,EACLb,EACAc,EAAc,CAGd,GADmB,MAAM,KAAKd,EAAW,UAAU,EACpC,SAAW,EAAG,CACzB,IAAMe,EAAoBf,EAAW,aAAa,QAAU,EAC5D,OAAIc,EAASC,EACF,CAAE,MAAO,GAAO,gBAAiBD,EAASC,CAAiB,EAE/D,CAAE,MAAO,GAAM,KAAMf,EAAY,OAAAc,CAAM,CAClD,CACA,QAAWV,KAAa,MAAM,KAAKJ,EAAW,UAAU,EAAG,CACvD,IAAMgB,EAASH,EAAgCT,EAAWU,CAAM,EAChE,GAAIE,EAAO,MACP,OAAOA,EAEXF,EAASE,EAAO,eACpB,CACA,MAAO,CAAE,MAAO,GAAO,gBAAiBF,CAAM,CAClD,CAEA,SAASG,EAAuBjB,EAAkBc,EAAc,CAC5D,IAAME,EAASH,EAAgCb,EAAYc,CAAM,EACjE,GAAI,CAACE,EAAO,MACR,OAGJ,IAAMJ,EAAM,OAAO,aAAY,EAC/B,GAAIA,IAAQ,KACR,OAGJ,IAAMM,EAAQ,SAAS,YAAW,EAClCA,EAAM,SAASF,EAAO,KAAMA,EAAO,MAAM,EACzCE,EAAM,SAAS,EAAI,EACnBN,EAAI,gBAAe,EACnBA,EAAI,SAASM,CAAK,CACtB,CAEA,SAASC,EAAUC,EAAaC,EAA4D,CACxFA,EAAQ,KAAK,CAACC,EAAIC,IAAOD,EAAG,MAAM,OAASC,EAAG,MAAM,MAAM,EAC1D,IAAIC,EAAS,GACTC,EAAmB,EACvB,QAAWC,KAAKL,EACZG,GAAUJ,EAAI,MAAMK,EAAkBC,EAAE,MAAM,MAAM,EACpDF,GAAUE,EAAE,OAAON,EAAI,MAAMM,EAAE,MAAM,OAAQA,EAAE,MAAM,UAAY,CAAC,CAAC,EACnED,EAAmBC,EAAE,MAAM,OAASA,EAAE,MAAM,OAEhD,OAAAF,GAAUJ,EAAI,MAAMK,CAAgB,EAC7BD,CACX,CAEA,IAAaG,EAAb,KAAsC,CAKtB,OACA,UALJ,SACA,oBAA+B,GAEvC,YACYC,EACAC,EAAsB,CAE9B,GAHQ,KAAA,OAAAD,EACA,KAAA,UAAAC,EAEJ,CAACA,EAAU,kBACX,MAAM,IAAI,MAGd,IAAMC,EAAiC,IAAIhC,EAAA,qBAAqB8B,CAAM,EACtE,KAAK,SAAW,IAAI9B,EAAA,qBAAqB8B,EAAQE,EAAU,IAAI,EAE/DD,EAAU,iBAAiB,cAAe,MAAOE,GAAa,CAC1D,IAAMC,EAAaD,EACbE,EAAuCD,EAAW,gBAAe,EAAG,CAAC,EAC3E,GAAIC,IAAgB,OAChB,OAEJ,IAAMf,EAAQZ,EACVuB,EACA,CAAE,KAAMI,EAAY,eAAgB,OAAQA,EAAY,WAAW,EACnE,CAAE,KAAMA,EAAY,aAAc,OAAQA,EAAY,SAAS,CAAE,EAErE,GAAIf,IAAU,OACV,OAEJ,IAAMgB,EAAUF,EAAW,MAAQ,GAC7BG,EAAiB,CAAE,MAAAjB,EAAO,QAAAgB,CAAO,EACvC,KAAK,SAAS,YAAY,CAACC,CAAM,CAAC,CACtC,CAAC,EAEDN,EAAU,iBAAiB,QAAS,MAAMO,GAAI,CAC1C,MAAM,KAAK,SAAS,+BAA8B,EAClD,MAAM,KAAK,gBAAe,EAC1B,KAAK,YAAW,CACpB,CAAC,EAED,SAAS,iBAAiB,kBAAmB,SAAW,CAEhD,KAAK,sBAGT,KAAK,oBAAsB,GAC3B,MAAM,KAAK,gBAAe,EAC1B,KAAK,YAAW,EAChB,KAAK,oBAAsB,GAC/B,CAAC,EAEDP,EAAU,iBAAiB,UAAW,MAAOE,GAAqB,CAC1DA,EAAG,MAAQ,OAAS,KAAK,SAAS,wBAAuB,EAAG,KAAO,IACnE,MAAM,KAAK,SAAS,+BAA8B,EAClD,KAAK,YAAW,EAEhBA,EAAG,yBAAwB,EAE3BA,EAAG,eAAc,EAEzB,CAAC,CACL,CAEA,oBAAkB,CACd,KAAK,SAAS,0BAAyB,EACvC,KAAK,YAAW,CACpB,CAEQ,MAAM,iBAAe,CACzB,IAAMM,EAAY,KAAK,aAAY,EAC/BA,IAAc,QAGlB,MAAM,KAAK,SAAS,iBAAiB,CAACA,CAAS,CAAC,CACpD,CAEQ,cAAY,CAChB,OAAO1B,EAAwB,KAAK,SAAS,CACjD,CAEQ,aAAW,CACf,IAAM2B,EAAQ,KAAK,SAAQ,EACrBC,EAAY,KAAK,UAAU,UAC3BlB,EAAU,MAAM,KAAK,KAAK,SAAS,wBAAuB,CAAE,EAAE,IAAImB,IAAM,CAC1E,MAAOA,EAAE,MACT,OAASC,GAAgB,MAAMA,CAAG,QACpC,EACIC,EAAevB,EAAUmB,EAAOjB,CAAO,EAC7C,GAAIkB,IAAcG,EACd,OAEJ,IAAMC,EAAwB,KAAK,aAAY,EAC/C,KAAK,aAAaD,CAAY,EAC1BC,IAA0B,QAC1B,KAAK,cAAc,CAACA,CAAqB,CAAC,CAElD,CAEA,MAAM,qBAAqBC,EAAiB,CACxC,IAAMvB,EAA+DuB,EAAQ,IAAIC,IAAM,CACnF,MAAOA,EAAE,MACT,OAAQT,GAAKS,EAAE,SACjB,EACF,YAAK,aAAa1B,EAAU,KAAK,SAAQ,EAAIE,CAAO,CAAC,EAMrD,KAAK,SAAS,YAAYuB,CAAO,EAC1B,EACX,CAEA,mBAAiB,CACb,MAAO,CAAE,KAAM,mBAAmB,CACtC,CAEA,mBAAiB,CACb,IAAMP,EAAY,KAAK,aAAY,EACnC,OAAIA,IAAc,OACP,CAAA,EAEJ,CAACA,CAAS,CACrB,CAEA,cAAcS,EAAmB,CAC7B,IAAMC,EAAsCD,EAAW,CAAC,EACpDC,IAAqB,QAGzB9B,EAAuB,KAAK,UAAW8B,EAAiB,MAAM,CAClE,CAEQ,aAAaC,EAAY,CAC7B,KAAK,UAAU,UAAYA,CAC/B,CAEQ,UAAQ,CACZ,OAAO,KAAK,UAAU,SAC1B,GA3IJC,EAAA,0BAAAtB,ICzIA,IAAAuB,EAAsB,OAAmD,CAAE,WAAAC,EAAW,0BAAAC,CAA0B,EAAIF,EAAYG,EAAa,WAAWH","names":["unicode_input_1","computeTextOffsetFromNodeOffset","searchNode","target","offsetInTarget","totalOffset","childNode","childOffset","computeTextRangeFromNodeRange","rangeStart","rangeEnd","start","end","findTextCursorSelection","sel","computeNodeOffsetFromTextOffset","offset","textContentLength","result","setTextCursorSelection","range","replaceAt","str","updates","u1","u2","newStr","lastUntouchedPos","u","InputAbbreviationRewriter","config","textInput","provider","ev","inputEvent","targetRange","newText","change","_","selection","query","queryHtml","a","old","newQueryHtml","selectionBeforeChange","changes","c","selections","primarySelection","html","exports","cjsm","__esModule","InputAbbreviationRewriter","endpoint_default"],"sources":["../esm/npm/@leanprover/unicode-input-component@0.1.9/node_modules/@leanprover/unicode-input-component/src/index.ts","endpoint.js"],"sourcesContent":[null,"import * as cjsm from \"@leanprover/unicode-input-component\";export const { __esModule,InputAbbreviationRewriter } = cjsm;export default cjsm.default ?? cjsm;"],"version":3}