'Spè che ce l'ho in italiano e non trovo quello che dici. Tools --> Options ci sono.. poi
miscellaneous --> terminal non mi quadrano O.o