Re:GitHub Codespaces
by sudhirj on Wednesday May 06, 2020 @03:19PM
(#23095151)
Should be fine - most editors will not round trip on every key press, only periodic saves or command runs.
[ Parent
| on HN ]
There are no comments on this comment yet.