@theia/workspace
Version:
Theia - Workspace Extension
1 lines • 516 B
Source Map (JSON)
{"version":3,"file":"workspace-protocol.d.ts","sourceRoot":"","sources":["../../src/common/workspace-protocol.ts"],"names":[],"mappings":"AAgBA,eAAO,MAAM,aAAa,wBAAwB,CAAC;AAEnD;;GAEG;AACH,eAAO,MAAM,eAAe,eAA4B,CAAC;AACzD,MAAM,WAAW,eAAe;IAE5B;;;OAGG;IACH,4BAA4B,IAAI,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAE5D;;OAEG;IACH,4BAA4B,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEzD;;;;OAIG;IACH,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAElD;;OAEG;IACH,mBAAmB,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;CAC3C"}