Catégorie Éditeurs
|
Option |
Raccourci clavier |
|---|---|
|
Éditer sur place |
Ctrl/Cmd-Maj-I |
|
Ouvrir Éditeur de partitions |
Ctrl/Cmd-R |
|
Ouvrir/Fermer éditeur |
Entrée |