diff -r 6a8cb7632448 -r 70924c0bdaf1 Documentation/Source/eric5.Preferences.ConfigurationPages.ShellPage.html
--- a/Documentation/Source/eric5.Preferences.ConfigurationPages.ShellPage.html Sun Oct 13 17:29:57 2013 +0200
+++ b/Documentation/Source/eric5.Preferences.ConfigurationPages.ShellPage.html Sun Oct 13 17:44:48 2013 +0200
@@ -94,7 +94,8 @@
<h4>ShellPage.on_monospacedFontButton_clicked</h4>
<b>on_monospacedFontButton_clicked</b>(<i></i>)
<p>
- Private method used to select the font to be used as the monospaced font.
+ Private method used to select the font to be used as the monospaced
+ font.
</p><a NAME="ShellPage.polishPage" ID="ShellPage.polishPage"></a>
<h4>ShellPage.polishPage</h4>
<b>polishPage</b>(<i></i>)
