web2py/web2py — pull request #267 by ilvalle (2013-10-20 06:48:40+00:00)
Title: Tab width (new option in editor settings)

- better options management to simplify the integration of others (if any)
- added two options for handling tab ('tab width' and 'indent with tabs')