@eclipse-glsp/theia-integration
Version:
Glue code to integrate GLSP clients into Eclipse Theia
1 lines • 631 B
Source Map (JSON)
{"version":3,"file":"theia-navigate-to-external-target-handler.d.ts","sourceRoot":"","sources":["../../../../../src/browser/diagram/features/navigation/theia-navigate-to-external-target-handler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;kFAckF;AAClF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAkC,MAAM,0BAA0B,CAAC;AAExG,OAAO,EAAE,aAAa,EAAQ,MAAM,wCAAwC,CAAC;AAE7E;;;;GAIG;AACH,qBACa,oCAAqC,YAAW,cAAc;IAGpC,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa;IAFlF,MAAM,CAAC,mBAAmB,SAAuB;gBAEK,aAAa,EAAE,aAAa;IAElF,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAM5B;;;;;;OAMG;IACG,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;CAM5D"}