I am launching VS code via the CLI using the serve-web command. Then I am connecting via my web browser on my ipad.
The keyboard shortcuts are working, but the UI is not.
1) I do not see the unicode input prompt (But I can still use it blind)
2) The agda pane opens, but shows no text
Hello!
I am launching VS code via the CLI using the
serve-webcommand. Then I am connecting via my web browser on my ipad.The keyboard shortcuts are working, but the UI is not. 1) I do not see the unicode input prompt (But I can still use it blind) 2) The agda pane opens, but shows no text