IDE stuff for web2py