terminal pro settings