kieler / klighd-vscode

Eclipse Public License 2.0
8 stars 6 forks source link

Reopen new diagram widget on start for current active editor. #100

Closed soerendomroes closed 1 year ago

soerendomroes commented 1 year ago

Since the old webviewPanel does not refer to the old SprottyWebview (which is a KlighdWebview) cannot be readded to the list of available KlighdWebviews in KlighdExtension and the old panel cannot be used during the creation of a new KlighdWebview since it is readonly, we recreate the Diagram on the start of the extension for the currently active editor.