Si puo' evitare di far comparire quel fastidioso puntino che viene creato (negli editor) quando viene premento il tasto tab ???