@eclipse-glsp/theia-integration
Version:
Glue code to integrate GLSP clients into Eclipse Theia
1 lines • 290 B
Source Map (JSON)
{"version":3,"file":"theia-navigation-module.d.ts","sourceRoot":"","sources":["../../../../../src/browser/diagram/features/navigation/theia-navigation-module.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;kFAckF;AAElF,OAAO,EAAE,aAAa,EAA4E,MAAM,sBAAsB,CAAC;AAE/H,eAAO,MAAM,qBAAqB,eAKjC,CAAC"}