web2py/web2py — pull request #353 by ilvalle (2014-01-18 12:47:09+00:00)
Title: codemirror 3.21

codemirror monthly update (see https://groups.google.com/forum/?fromgroups#!topic/codemirror/HlsihxhQVDw)
added a new theme pastel-on-dark