! 31337 |-|4xx0|2
This should be a feature, at least you should be able to type online. For example, in gitlab's online IDE, once you enter the integrated IDE (Yeah, it's more like a text editor cuz there's no autocomplete, intellisense, etc, but still you can edit), you can still open files offline, modify files offline, etc, and commit your changes once you go online. THis is all done through their website (go on gitlab and try out their web IDE, it works online)
Also, is there any way to customize the action that the "run" button does?
It just seems strange that ctrl + shift + p then search is used to open the shell. I didn't even FIND documentation on ctrl + shift + p, or the shell on the official docs, until I came across that question. Also, as I said, ctrl + shift + p doesn't work on one of my computers...