Hi Gordon,
I was browsing through the open RFSes and found this one, which is
open since a while!
Did you try to find a sponsor within the js team? Maybe that would
have made things quicker...
As I do not find any trace that this has been communicated to the
js team (but you are member of the
I've updated the git repository for codemirror-js [1](last updated
2015-07) from 5.4 to 5.19. I maintain jupyter-notebook which depends
upon this package.
This isn't the most recent version (5.30 was released in the last few
days, 5.19 is from late 2016), but versions from 5.20 onwards build