It's CodeMirror <https://codemirror.net/>. You can see how it is configured here <https://github.com/web2py/web2py/blob/master/applications/admin/views/default/edit.html>and here <https://github.com/web2py/web2py/blob/master/applications/admin/views/default/edit_js.html> .
Anthony On Saturday, October 10, 2015 at 8:06:32 AM UTC-4, Edward Shave wrote: > > Only thing is I can't find much by way of instructions for it so if anyone > can point me in the right direction. > > I'm particularly interested in search and replace and any short-cut keys... > > Also any nifty undocumented features you may know about. > > best regards > Ed > -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
