Patrick Massot (Jun 24 2020 at 20:26):
Is it on my side or did we loose the Ctrl-shift-enter shortcut to reopen the info view in VSCode?
Gabriel Ebner (Jun 24 2020 at 20:40):
In which branch? The shortcut works for me in both of them.
Patrick Massot (Jun 24 2020 at 20:45):
Patrick Massot (Jun 24 2020 at 20:46):
Maybe my window manager changed something.
Last updated: May 11 2021 at 22:14 UTC