web2py/web2py — pull request #286 by ilvalle (2013-10-28 09:20:03+00:00)
Title: fix for empty python file in admin editor

It's a codemirror issue, I'm sending a PR to codemirror too