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

changeset 3018
70924c0bdaf1
parent 2966
f85f686981ad
equal deleted inserted replaced
3017:6a8cb7632448 3018:70924c0bdaf1
92 Private method used to select the font for the editor margins. 92 Private method used to select the font for the editor margins.
93 </p><a NAME="ShellPage.on_monospacedFontButton_clicked" ID="ShellPage.on_monospacedFontButton_clicked"></a> 93 </p><a NAME="ShellPage.on_monospacedFontButton_clicked" ID="ShellPage.on_monospacedFontButton_clicked"></a>
94 <h4>ShellPage.on_monospacedFontButton_clicked</h4> 94 <h4>ShellPage.on_monospacedFontButton_clicked</h4>
95 <b>on_monospacedFontButton_clicked</b>(<i></i>) 95 <b>on_monospacedFontButton_clicked</b>(<i></i>)
96 <p> 96 <p>
97 Private method used to select the font to be used as the monospaced font. 97 Private method used to select the font to be used as the monospaced
98 font.
98 </p><a NAME="ShellPage.polishPage" ID="ShellPage.polishPage"></a> 99 </p><a NAME="ShellPage.polishPage" ID="ShellPage.polishPage"></a>
99 <h4>ShellPage.polishPage</h4> 100 <h4>ShellPage.polishPage</h4>
100 <b>polishPage</b>(<i></i>) 101 <b>polishPage</b>(<i></i>)
101 <p> 102 <p>
102 Public slot to perform some polishing actions. 103 Public slot to perform some polishing actions.

eric ide

mercurial