@theia/workspace
Version:
Theia - Workspace Extension
1 lines • 745 B
Source Map (JSON)
{"version":3,"file":"workspace-search-filter-service.d.ts","sourceRoot":"","sources":["../../src/browser/workspace-search-filter-service.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAGnE,eAAO,MAAM,6BAA6B,eAA0C,CAAC;AAErF;;;GAGG;AACH,MAAM,WAAW,6BAA6B;IAC1C,4FAA4F;IAC5F,iBAAiB,IAAI,MAAM,EAAE,CAAC;IAC9B,2FAA2F;IAC3F,QAAQ,CAAC,uBAAuB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;CACjD;AAED;;;GAGG;AACH,qBACa,4BAA4B;IAGrC,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,oBAAoB,CAAC,6BAA6B,CAAC,CAAC;IAElF,SAAS,CAAC,QAAQ,CAAC,8BAA8B,gBAAuB;IACxE,2FAA2F;IAC3F,QAAQ,CAAC,uBAAuB,EAAE,KAAK,CAAC,IAAI,CAAC,CAA6C;IAE1F,SAAS,CAAC,cAAc,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAG/C,SAAS,CAAC,IAAI,IAAI,IAAI;IAStB;;OAEG;IACH,iBAAiB,IAAI,MAAM,EAAE;CAYhC"}