170 <dd> |
170 <dd> |
171 emitted after an editor window was opened |
171 emitted after an editor window was opened |
172 </dd><dt>editorOpenedEd(Editor)</dt> |
172 </dd><dt>editorOpenedEd(Editor)</dt> |
173 <dd> |
173 <dd> |
174 emitted after an editor window was opened |
174 emitted after an editor window was opened |
|
175 </dd><dt>editorRenamed(str)</dt> |
|
176 <dd> |
|
177 emitted after an editor was renamed |
|
178 </dd><dt>editorRenamedEd(Editor)</dt> |
|
179 <dd> |
|
180 emitted after an editor was renamed |
175 </dd><dt>editorSaved(str)</dt> |
181 </dd><dt>editorSaved(str)</dt> |
|
182 <dd> |
|
183 emitted after an editor window was saved |
|
184 </dd><dt>editorSavedEd(Editor)</dt> |
176 <dd> |
185 <dd> |
177 emitted after an editor window was saved |
186 emitted after an editor window was saved |
178 </dd><dt>editorTextChanged(Editor)</dt> |
187 </dd><dt>editorTextChanged(Editor)</dt> |
179 <dd> |
188 <dd> |
180 emitted to signal a change of an |
189 emitted to signal a change of an |
355 <td>Private slot to handle changes of an editor's configuration.</td> |
364 <td>Private slot to handle changes of an editor's configuration.</td> |
356 </tr><tr> |
365 </tr><tr> |
357 <td><a href="#ViewManager.__editorOpened">__editorOpened</a></td> |
366 <td><a href="#ViewManager.__editorOpened">__editorOpened</a></td> |
358 <td>Private slot to handle the editorOpened signal.</td> |
367 <td>Private slot to handle the editorOpened signal.</td> |
359 </tr><tr> |
368 </tr><tr> |
|
369 <td><a href="#ViewManager.__editorRenamed">__editorRenamed</a></td> |
|
370 <td>Private slot to handle the editorRenamed signal.</td> |
|
371 </tr><tr> |
360 <td><a href="#ViewManager.__editorSaved">__editorSaved</a></td> |
372 <td><a href="#ViewManager.__editorSaved">__editorSaved</a></td> |
361 <td>Private slot to handle the editorSaved signal.</td> |
373 <td>Private slot to handle the editorSaved signal.</td> |
362 </tr><tr> |
374 </tr><tr> |
363 <td><a href="#ViewManager.__editorSelectionChanged">__editorSelectionChanged</a></td> |
375 <td><a href="#ViewManager.__editorSelectionChanged">__editorSelectionChanged</a></td> |
364 <td>Private slot to handle changes of the current editors selection.</td> |
376 <td>Private slot to handle changes of the current editors selection.</td> |
1265 </p><a NAME="ViewManager.__editorOpened" ID="ViewManager.__editorOpened"></a> |
1277 </p><a NAME="ViewManager.__editorOpened" ID="ViewManager.__editorOpened"></a> |
1266 <h4>ViewManager.__editorOpened</h4> |
1278 <h4>ViewManager.__editorOpened</h4> |
1267 <b>__editorOpened</b>(<i></i>) |
1279 <b>__editorOpened</b>(<i></i>) |
1268 <p> |
1280 <p> |
1269 Private slot to handle the editorOpened signal. |
1281 Private slot to handle the editorOpened signal. |
1270 </p><a NAME="ViewManager.__editorSaved" ID="ViewManager.__editorSaved"></a> |
1282 </p><a NAME="ViewManager.__editorRenamed" ID="ViewManager.__editorRenamed"></a> |
|
1283 <h4>ViewManager.__editorRenamed</h4> |
|
1284 <b>__editorRenamed</b>(<i>fn</i>) |
|
1285 <p> |
|
1286 Private slot to handle the editorRenamed signal. |
|
1287 </p><p> |
|
1288 It simply reemits the signal. |
|
1289 </p><dl> |
|
1290 <dt><i>fn</i></dt> |
|
1291 <dd> |
|
1292 filename of the renamed editor (string) |
|
1293 </dd> |
|
1294 </dl><a NAME="ViewManager.__editorSaved" ID="ViewManager.__editorSaved"></a> |
1271 <h4>ViewManager.__editorSaved</h4> |
1295 <h4>ViewManager.__editorSaved</h4> |
1272 <b>__editorSaved</b>(<i>fn</i>) |
1296 <b>__editorSaved</b>(<i>fn</i>) |
1273 <p> |
1297 <p> |
1274 Private slot to handle the editorSaved signal. |
1298 Private slot to handle the editorSaved signal. |
1275 </p><p> |
1299 </p><p> |
1276 It simply reemits the signal. |
1300 It simply reemits the signal. |
1277 </p><dl> |
1301 </p><dl> |
1278 <dt><i>fn</i></dt> |
1302 <dt><i>fn</i></dt> |
1279 <dd> |
1303 <dd> |
1280 filename of the saved editor |
1304 filename of the saved editor (string) |
1281 </dd> |
1305 </dd> |
1282 </dl><a NAME="ViewManager.__editorSelectionChanged" ID="ViewManager.__editorSelectionChanged"></a> |
1306 </dl><a NAME="ViewManager.__editorSelectionChanged" ID="ViewManager.__editorSelectionChanged"></a> |
1283 <h4>ViewManager.__editorSelectionChanged</h4> |
1307 <h4>ViewManager.__editorSelectionChanged</h4> |
1284 <b>__editorSelectionChanged</b>(<i></i>) |
1308 <b>__editorSelectionChanged</b>(<i></i>) |
1285 <p> |
1309 <p> |