diff doc/options.html @ 1130:302d85a9962f

Add Properties Options page.
author zas_
date Tue, 11 Nov 2008 10:24:04 +0000
parents 24c89a03ec12
children c564ab6c11fc
line wrap: on
line diff
--- a/doc/options.html	Tue Nov 11 10:09:09 2008 +0000
+++ b/doc/options.html	Tue Nov 11 10:24:04 2008 +0000
@@ -48,6 +48,7 @@
       <li><a href="options_window.html">Window Options</a></li>
       <li><a href="options_filtering.html">Filtering Options</a></li>
       <li><a href="options_editor_commands.html">Editor Commands</a></li>
+      <li><a href="options_properties.html">Properties Options</a></li>
       <li><a href="options_advanced.html">Advanced Options</a></li>
       <li><a href="options_hidden.html">Hidden Options</a></li>
     </ul>