Have you considered Codemirror? I think it is superior to the old editor used by web2py. I haven't used the latest one so I can't tell.
On Monday, September 3, 2012 5:52:31 PM UTC-5, lucas wrote: > > hello one and all, > > just updated to 2.0.6 today. nice, awesome, it seems faster, is it or is > it my imagination? > > noticed a few changes in the editor, although i like the smaller font and > colors a lot more. i can't change the size of the editor window like i > used to which was a huge thing for me and the find box is very different > and it doesn't have replace. > > has anyone else complained like i am, don't want to be the only big whiny > one. anyway, great on everything. lucas > --
