joomla/joomla-cms — pull request #242 by okonomiyaki3000 (2012-06-18 01:40:19+00:00)
Title: Enhancements for CodeMirror

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.