tab size in editor settings and better options management
Merge pull request #267 from ilvalle/fix-editor

Tab width (new option in editor settings)