marijnh/CodeMirror — pull request #1970 by xFlatlinex (2013-11-20 20:24:02+00:00)
Title: Don't hide placeholder on focus

Most modern browsers now keep displaying the placeholder even if the
user has focus on the input and only hide it when the input has content.

This change is to make this addon consistent with this, so users won't
tell the difference with native inputs' placeholder behaviour.