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. |