web2py/web2py — pull request #261 by ilvalle (2013-10-17 14:24:30+00:00)
Title: Editor cleanup

- removed dead code referring to the former editors
- editor fix to work again when is_mobile=True (We/I broke it several months ago)