Change Arduino IDE Tab size, by editing preferences.txt.

This video show how to locate Arduino IDE's preferences.txt, and edit it to change Arduino Editor Tab size.