Re: [web2py] [tip] GitHub has an amazing online IDE

[Bruno Rocha]

On Tue, May 10, 2011 at 11:41 AM, Shishir Ramam <sra...@gmail.com> wrote:

> the underlying editor is ace - http://ace.ajax.org/


Cool! I guess it can be integrated in to local web2py projects, I will give
it a try.