From d7c7d8f216fa13c7b04f5f1c3f6bca1da8b9e434 Mon Sep 17 00:00:00 2001
From: Alexandre Prokoudine <alexandre.prokoudine@gmail.com>
Date: Sat, 2 Jul 2022 19:44:26 +0300
Subject: [PATCH] Prefs: TOC update + title fix

---
 include/preferences.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/include/preferences.html b/include/preferences.html
index 5dd57c2c..24af4aa7 100644
--- a/include/preferences.html
+++ b/include/preferences.html
@@ -36,6 +36,10 @@
 		<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>
@@ -861,7 +865,7 @@
   </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: