E poi per ri-indent automaticamente dopo? Ho provato a copiare il codice da uno schermo di terminale all'altro, ma la tabulazione è stata incasinata.
Non sapevo come chiamare questa funzionalità, quindi è stato difficile trovarlo su google (che in genere riportava le cose relative a come impostare la dimensione della scheda, che non era quello che cercavo sfortunatamente).