Added a summary to the preferences page

diff --git a/include/preferences.html b/include/preferences.html
index d844cd55a6fd5e6c0c3be75c5d39cb504774953d..7e1f13c24d4ab2c3b6cf55364e5f829af5addb60 100644 (file)
--- a/include/preferences.html
+++ b/include/preferences.html
@@ -5,6 +5,28 @@
   configuration file</dfn> in the user's home directory.
 </p>
 
+<p>
+       Preferences are conveniently grouped by category:
+</p>
+
+<ul>
+       <li><a href="#general">General</a></li>
+       <li><a href="#editor">Editor</a></li>
+       <li><a href="#mixer">Mixer</a></li>
+       <li><a href="#signal_flow">Signal Flow</a></li>
+       <li><a href="#audio">Audio</a></li>
+       <li><a href="#midi">MIDI</a></li>
+       <li><a href="#metronome">Metronome</a></li>
+       <li><a href="#metering">Metering</a></li>
+       <li><a href="#transport">Transport</a></li>
+       <li><a href="#sync">Sync</a></li>
+       <li><a href="#control_surfaces">Control Surfaces</a></li>
+       <li><a href="#midi_ports">MIDI Ports</a></li>
+       <li><a href="#plugins">Plugins</a></li>
+       <li><a href="#appearance">Appearance</a></li>
+       <li><a href="#video">Video</a></li>
+</ul>
+
 <h2 id="general">General</h2>
 
 <ul>