kieler / klighd-vscode

Eclipse Public License 2.0
8 stars 6 forks source link

Adaption to Sprotty 0.11.1 and sprotty-vscode 0.2.0 #32

Closed NiklasRentzCAU closed 2 years ago

NiklasRentzCAU commented 2 years ago

With this PR the project adapts to all changes of Sproty 0.10.0 and 0.11.0 and the new sprotty-vscode gluecode 0.2.0.

This also unifies the style of actions to the new style of actions in Sprotty 0.11. They changed actions to be interfaces only instead of classes to reflect many of them coming from some server where the natural instanceof check would not work. Furthermore the interaction between feather-icons and snabbdom pointed to an issue with patching with this update, so this also addresses that by directly using snabbdom's VNodes to include the feather icons.