4 ms·But why? If it weren't based on VSCode you'd be happy with a separate IDE, surely?by philipallstar 11mo agoBut why? If it weren't based on VSCode you'd be happy with a separate IDE, surely?