src/eric7/Documentation/Source/eric7.ViewManager.ViewManager.html

branch
eric7
changeset 10677
6ee2e475490c
parent 10674
8fc0af9c76dc
child 10685
a9134b4e8ed0
equal deleted inserted replaced
10676:d1479a4f1426 10677:6ee2e475490c
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>)

eric ide

mercurial