<li><a href="#preferences-editor-modifiers">Modifiers</a></li>
</ul>
<li><a href="#preferences-midi">MIDI</a></li>
+ <ul>
+ <li><a href="#preferences-midi-port-config">MIDI Port Config</a></li>
+ </ul>
+
<li><a href="#preferences-transport">Transport</a></li>
<ul>
<li><a href="#preferences-transport-chase">Chase</a></li>
</li>
</ul>
-<h3 id="preferences-midi-port-config">Modifiers</h3>
+<h3 id="preferences-midi-port-config">MIDI Port Config</h3>
<p>
This page allows to set options for input and output MIDI devices, such as: