tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
357 stars 33 forks source link

Fix position of the opened window when checking model #296

Closed afonsonf closed 1 year ago

afonsonf commented 1 year ago

Hi, this MR fixes the opening of the webview in wrong window when clicking the check again button.

The previous behaviour was that the check model window would be closed and a new one is created "beside" the active window. The new behaviour is that reuses the opened window, if there is any.

Also updated dependencies with vulnerabilities and cleaned up a bit the code of the webview to avoid a visual bug when reusing the window, namely the following one where the underscore of the active tab is in the wrong place:

image

Fixes #295