--- a/Documentation/Source/eric5.Preferences.ConfigurationPages.ShellPage.html	Sat Aug 20 16:30:49 2011 +0200
+++ b/Documentation/Source/eric5.Preferences.ConfigurationPages.ShellPage.html	Sat Aug 20 17:24:33 2011 +0200
@@ -61,6 +61,9 @@
 <h3>Methods</h3>
 <table>
 <tr>
+<td><a href="#ShellPage.__init__">ShellPage</a></td>
+<td>Constructor</td>
+</tr><tr>
 <td><a href="#ShellPage.on_linenumbersFontButton_clicked">on_linenumbersFontButton_clicked</a></td>
 <td>Private method used to select the font for the editor margins.</td>
 </tr><tr>