4 ms·This is brilliant. Should be a core part of GitHubby spark3k 6y agoThis is brilliant. Should be a core part of GitHubrandompwd 6y agoNo it shouldn't. IDEs come and go.