Documentation/Source/eric5.Preferences.ConfigurationPages.ShellPage.html

changeset 3018
70924c0bdaf1
parent 2966
f85f686981ad
--- 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>)

eric ide

mercurial