[widget] clarified and fixed difference between widgetId and clientId

eclipse-sprotty / sprotty-theia

Integration of Sprotty diagrams into Theia IDE

https://eclipse.org/sprotty

Eclipse Public License 2.0

24 stars 14 forks source link

[widget] clarified and fixed difference between widgetId and clientId #30

Closed JanKoehnlein closed 5 years ago

JanKoehnlein commented 5 years ago

In Theia it is not allowed to use the same id for the widget and the div it resides in. This commit clearly separates the different IDs, and Fixes #29