web2py/web2py — pull request #279 by ilvalle (2013-10-24 14:21:24+00:00)
Title: Tab width in editor settings

Two more things in admin editor:
- The tab size is now a function of the number of tabs already opened. It seems to work well, It could need more test & improvements though.
- two new configurable options