Allow to change tab height

[xolom]

I really would appreciate a setting that allows to change the tab height.

[Monokai]

I think it's fine as it is. It's functional, not too small and leaves plenty of valuable vertical space to focus on the most important part: your code.