Abbreviazioni da tastiera nei diversi editor 2 Ottobre 2023 Ogni Editor ha le sue abbreviazioni da tastiera e un’abbreviazione può funzionare in maniera diversa a seconda della finestra in cui si trova il cursore del mouse.