ql-io/ql.io — pull request #370 by s3u (2012-03-16 21:18:31+00:00)
Title: Upgrade CodeMirror

This fixes some known editor size issues.