1 | {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/browser/widgets/index.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,2EAA2E;AAC3E,gFAAgF;;;;;;;;;;;;AAEhF,2CAAyB;AACzB,mDAAiC;AACjC,iDAA+B;AAC/B,uDAAqC"} |
\ | No newline at end of file |