pull down to refresh

If you're using VS Code, there's near zero switching cost. It imports all your extensions and settings.
That’s clever. Is it built on top of the vs code open source project, or just has good import support?
reply
It's a fork of VS Code iirc.
reply