splittingred/CodeMirror — pull request #21 by pdincubus (2013-09-30 09:25:52+00:00)
Title: Make editor comfortable height.

The chunk/tv/snippet/plugin editor height is far too short. This feels much more comfortable when editing within the manager! :)