web2py/web2py — pull request #98 by ilvalle (2013-05-28 12:38:44+00:00)
Title: Online editor with tabs

Added tab to the online editor.
see https://groups.google.com/d/topic/web2py-developers/yq2NyWDT0sw/discussion