joomla/joomla-cms — pull request #243 by okonomiyaki3000 (2012-06-18 01:44:42+00:00)
Title: Codemirror enhancements

CodeMirror is pretty great but wouldn't it be better if we could set a minimum height, change the font face and size to our liking, use line numbers and other such nice things? Yes! To that end, here is a patch.