Add refresh button, moved sync with editor to menu. - Githubissues

kieler / klighd-vscode

Eclipse Public License 2.0

8 stars 6 forks source link

Add refresh button, moved sync with editor to menu. #122

Closed soerendomroes closed 1 year ago

soerendomroes commented 1 year ago

Fixes https://github.com/kieler/vscode/issues/46