3 ms·Really nice PR!by greato 12y agoReally nice PR!svillafe 12y agoYeah it is a great editor for Javascript at least.