lf-lang / vscode-lingua-franca

Lingua Franca extension for Visual Studio Code
Other
4 stars 3 forks source link

Can't get rid of options menu for diagrams #79

Closed edwardalee closed 2 years ago

edwardalee commented 2 years ago

On a Mac at least, in VS Code, when I open the Options menu for the diagrams, as shown below, there is no way to get rid of it. It just sits there obscuring the diagram.

image
lhstrh commented 2 years ago

If you click on the active tab (in your screenshot, the icon with the faders), then the options window should disappear...

lhstrh commented 2 years ago

@lsk567 or @Soroosh129: could you confirm that this works normally on Mac? If so, let's mark this invalid and close...

lsk567 commented 2 years ago

@edwardalee Does the sidebar collapse if you click this button?

183382916-d399f21f-8d96-4996-8ff0-bdb852133800
edwardalee commented 2 years ago

Ah, the sidebar collapses if you click the button twice. But not if you click it once. Pretty cryptic.