Éditeur Options

L'éditeur Options regroupe les paramètres globaux relatifs à l'optimisation des performances, aux fonctions globales et aux contrôleurs MIDI.