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