Ok, so I'm guessing tabs are a web2py feature rather than belonging to the codemirror.
So could someone give me a pointer to where in the source a click event is assigned to the tabs. I'd like to switch tabs using ctrl-tab which doesn't appear to do anything else at present. -- Resources: - http://web2py.com - http://web2py.com/book (Documentation) - http://github.com/web2py/web2py (Source code) - https://code.google.com/p/web2py/issues/list (Report Issues) --- You received this message because you are subscribed to the Google Groups "web2py-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to web2py+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
