Introduce tab width settings to options

As I said, the tabwidth is converted to pixel by multiplying a fixed value of 10