4 ms·Thanks, from your second link it seems to use https://codemirror.net/ https://codemirror.net/by doe88 9y agoThanks, from your second link it seems to use https://codemirror.net/ https://codemirror.net/