|
1 <?xml version="1.0" encoding="utf-8"?> |
|
2 <!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Strict//EN' |
|
3 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd'> |
|
4 <html><head> |
|
5 <title>eric4.Preferences.ConfigurationPages.ShellPage</title> |
|
6 <style> |
|
7 body { |
|
8 background:white; |
|
9 margin: 0em 1em 10em 1em; |
|
10 color: black; |
|
11 } |
|
12 |
|
13 h1 { color: white; background: #4FA4FF; } |
|
14 h2 { color: white; background: #4FA4FF; } |
|
15 h3 { color: white; background: #00557F; } |
|
16 h4 { color: white; background: #00557F; } |
|
17 |
|
18 a { color: #AA5500; } |
|
19 |
|
20 </style> |
|
21 </head> |
|
22 <body><a NAME="top" ID="top"></a> |
|
23 <h1>eric4.Preferences.ConfigurationPages.ShellPage</h1> |
|
24 <p> |
|
25 Module implementing the Shell configuration page. |
|
26 </p> |
|
27 <h3>Global Attributes</h3> |
|
28 <table> |
|
29 <tr><td>None</td></tr> |
|
30 </table> |
|
31 <h3>Classes</h3> |
|
32 <table> |
|
33 <tr> |
|
34 <td><a href="#ShellPage">ShellPage</a></td> |
|
35 <td>Class implementing the Shell configuration page.</td> |
|
36 </tr> |
|
37 </table> |
|
38 <h3>Functions</h3> |
|
39 <table> |
|
40 <tr> |
|
41 <td><a href="#create">create</a></td> |
|
42 <td>Module function to create the configuration page.</td> |
|
43 </tr> |
|
44 </table> |
|
45 <hr /><hr /> |
|
46 <a NAME="ShellPage" ID="ShellPage"></a> |
|
47 <h2>ShellPage</h2> |
|
48 <p> |
|
49 Class implementing the Shell configuration page. |
|
50 </p> |
|
51 <h3>Derived from</h3> |
|
52 ConfigurationPageBase, Ui_ShellPage |
|
53 <h3>Class Attributes</h3> |
|
54 <table> |
|
55 <tr><td>None</td></tr> |
|
56 </table> |
|
57 <h3>Methods</h3> |
|
58 <table> |
|
59 <tr> |
|
60 <td><a href="#ShellPage.__init__">ShellPage</a></td> |
|
61 <td>Constructor</td> |
|
62 </tr><tr> |
|
63 <td><a href="#ShellPage.on_linenumbersFontButton_clicked">on_linenumbersFontButton_clicked</a></td> |
|
64 <td>Private method used to select the font for the editor margins.</td> |
|
65 </tr><tr> |
|
66 <td><a href="#ShellPage.on_monospacedFontButton_clicked">on_monospacedFontButton_clicked</a></td> |
|
67 <td>Private method used to select the font to be used as the monospaced font.</td> |
|
68 </tr><tr> |
|
69 <td><a href="#ShellPage.polishPage">polishPage</a></td> |
|
70 <td>Public slot to perform some polishing actions.</td> |
|
71 </tr><tr> |
|
72 <td><a href="#ShellPage.save">save</a></td> |
|
73 <td>Public slot to save the Shell configuration.</td> |
|
74 </tr> |
|
75 </table> |
|
76 <a NAME="ShellPage.__init__" ID="ShellPage.__init__"></a> |
|
77 <h4>ShellPage (Constructor)</h4> |
|
78 <b>ShellPage</b>(<i></i>) |
|
79 <p> |
|
80 Constructor |
|
81 </p><a NAME="ShellPage.on_linenumbersFontButton_clicked" ID="ShellPage.on_linenumbersFontButton_clicked"></a> |
|
82 <h4>ShellPage.on_linenumbersFontButton_clicked</h4> |
|
83 <b>on_linenumbersFontButton_clicked</b>(<i></i>) |
|
84 <p> |
|
85 Private method used to select the font for the editor margins. |
|
86 </p><a NAME="ShellPage.on_monospacedFontButton_clicked" ID="ShellPage.on_monospacedFontButton_clicked"></a> |
|
87 <h4>ShellPage.on_monospacedFontButton_clicked</h4> |
|
88 <b>on_monospacedFontButton_clicked</b>(<i></i>) |
|
89 <p> |
|
90 Private method used to select the font to be used as the monospaced font. |
|
91 </p><a NAME="ShellPage.polishPage" ID="ShellPage.polishPage"></a> |
|
92 <h4>ShellPage.polishPage</h4> |
|
93 <b>polishPage</b>(<i></i>) |
|
94 <p> |
|
95 Public slot to perform some polishing actions. |
|
96 </p><a NAME="ShellPage.save" ID="ShellPage.save"></a> |
|
97 <h4>ShellPage.save</h4> |
|
98 <b>save</b>(<i></i>) |
|
99 <p> |
|
100 Public slot to save the Shell configuration. |
|
101 </p> |
|
102 <div align="right"><a href="#top">Up</a></div> |
|
103 <hr /><hr /> |
|
104 <a NAME="create" ID="create"></a> |
|
105 <h2>create</h2> |
|
106 <b>create</b>(<i>dlg</i>) |
|
107 <p> |
|
108 Module function to create the configuration page. |
|
109 </p><dl> |
|
110 <dt><i>dlg</i></dt> |
|
111 <dd> |
|
112 reference to the configuration dialog |
|
113 </dd> |
|
114 </dl> |
|
115 <div align="right"><a href="#top">Up</a></div> |
|
116 <hr /> |
|
117 </body></html> |