1050 <tr> |
1050 <tr> |
1051 <td><a href="#ViewManager.openSourceFile">openSourceFile</a></td> |
1051 <td><a href="#ViewManager.openSourceFile">openSourceFile</a></td> |
1052 <td>Public slot to display a file in an editor.</td> |
1052 <td>Public slot to display a file in an editor.</td> |
1053 </tr> |
1053 </tr> |
1054 <tr> |
1054 <tr> |
|
1055 <td><a href="#ViewManager.openSourceFileLinePos">openSourceFileLinePos</a></td> |
|
1056 <td>Public slot to display a file in an editor at a given line and position.</td> |
|
1057 </tr> |
|
1058 <tr> |
1055 <td><a href="#ViewManager.preferencesChanged">preferencesChanged</a></td> |
1059 <td><a href="#ViewManager.preferencesChanged">preferencesChanged</a></td> |
1056 <td>Public slot to handle the preferencesChanged signal.</td> |
1060 <td>Public slot to handle the preferencesChanged signal.</td> |
1057 </tr> |
1061 </tr> |
1058 <tr> |
1062 <tr> |
1059 <td><a href="#ViewManager.prevSplit">prevSplit</a></td> |
1063 <td><a href="#ViewManager.prevSplit">prevSplit</a></td> |
4209 </dl> |
4213 </dl> |
4210 <dl> |
4214 <dl> |
4211 <dt>Return Type:</dt> |
4215 <dt>Return Type:</dt> |
4212 <dd> |
4216 <dd> |
4213 Editor |
4217 Editor |
|
4218 </dd> |
|
4219 </dl> |
|
4220 <a NAME="ViewManager.openSourceFileLinePos" ID="ViewManager.openSourceFileLinePos"></a> |
|
4221 <h4>ViewManager.openSourceFileLinePos</h4> |
|
4222 <b>openSourceFileLinePos</b>(<i>fn, lineno, pos</i>) |
|
4223 <p> |
|
4224 Public slot to display a file in an editor at a given line and position. |
|
4225 </p> |
|
4226 |
|
4227 <dl> |
|
4228 |
|
4229 <dt><i>fn</i> (str)</dt> |
|
4230 <dd> |
|
4231 name of file to be opened |
|
4232 </dd> |
|
4233 <dt><i>lineno</i> (int)</dt> |
|
4234 <dd> |
|
4235 line number to place the cursor at |
|
4236 </dd> |
|
4237 <dt><i>pos</i> (int)</dt> |
|
4238 <dd> |
|
4239 position within line to position cursor at |
4214 </dd> |
4240 </dd> |
4215 </dl> |
4241 </dl> |
4216 <a NAME="ViewManager.preferencesChanged" ID="ViewManager.preferencesChanged"></a> |
4242 <a NAME="ViewManager.preferencesChanged" ID="ViewManager.preferencesChanged"></a> |
4217 <h4>ViewManager.preferencesChanged</h4> |
4243 <h4>ViewManager.preferencesChanged</h4> |
4218 <b>preferencesChanged</b>(<i></i>) |
4244 <b>preferencesChanged</b>(<i></i>) |