{"version":3,"file":"editor-document-error.d.ts","sourceRoot":"","sources":["../../../src/browser/doc-model/editor-document-error.ts"],"names":[],"mappings":"AAAA,oBAAY,mBAAmB;IAE7B,gBAAgB,yCAAyC;IAEzD,6BAA6B,sDAAsD;IAEnF,iCAAiC,0DAA0D;IAE3F,YAAY,qCAAqC;CAClD"}