Keyboard shortcuts to switch tabs not working in VSCode
I use Ctrl+Shift+ArrowUp/Down to switch tabs in VS Code.
When the marimo browser tab is focused, then the shortcuts stop working
We don't do anything to capture these - we use VSCode's Webview API and keyboard events within the webview do not automatically bubble up to VSCode. This behavior is by design to allow the webview content to handle keyboard inputs independently.
We could bubble up events, but it may lead to worse/unexpected behavior.
Hi, we've launched a new VSCode extension at https://github.com/marimo-team/marimo-lsp (readme). It may mean this issue is resolved or no longer applicable. If the issue still exists, please file the issue on over on the new Issues page.