tab size in editor settings and better options management