I doubt it adds much to the download size. DevTools already has a copy of the Co...

skybrian on July 30, 2016 | parent | context | favorite | on: Using Code Snippets in Chrome Developer Tools

I doubt it adds much to the download size. DevTools already has a copy of the CodeMirror js library for displaying JavaScript in the debugger with syntax highlighting. I suppose you could strip CodeMirror of all editing functionality, but that sounds like more trouble than it's worth.