Mercurial Repositories > eric / file comparison

comparison: src/eric7/Documentation/Source/eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html

src/eric7/Documentation/Source/eric7.Plugins.ViewManagerPlugins.Tabview.Tabview.html

branch
eric7
changeset 10479
856476537696
parent 10437
2f70ca07f0af
child 10684
58c7f23ae1cb
equal deleted inserted replaced
10478:de9106c55c3d 10479:856476537696
5 <link rel="stylesheet" href="styles.css"> 5 <link rel="stylesheet" href="styles.css">
6 </head> 6 </head>
7 <body> 7 <body>
8 <a NAME="top" ID="top"></a> 8 <a NAME="top" ID="top"></a>
9 <h1>eric7.Plugins.ViewManagerPlugins.Tabview.Tabview</h1> 9 <h1>eric7.Plugins.ViewManagerPlugins.Tabview.Tabview</h1>
10
11 <p> 10 <p>
12 Module implementing a tabbed viewmanager class. 11 Module implementing a tabbed viewmanager class.
13 </p> 12 </p>
13
14 <h3>Global Attributes</h3> 14 <h3>Global Attributes</h3>
15
16 <table> 15 <table>
17 <tr><td>None</td></tr> 16 <tr><td>None</td></tr>
18 </table> 17 </table>
18
19 <h3>Classes</h3> 19 <h3>Classes</h3>
20
21 <table> 20 <table>
22
23 <tr> 21 <tr>
24 <td><a href="#TabBar">TabBar</a></td> 22 <td><a href="#TabBar">TabBar</a></td>
25 <td>Class implementing a customized tab bar supporting drag & drop.</td> 23 <td>Class implementing a customized tab bar supporting drag & drop.</td>
26 </tr> 24 </tr>
27 <tr> 25 <tr>
31 <tr> 29 <tr>
32 <td><a href="#Tabview">Tabview</a></td> 30 <td><a href="#Tabview">Tabview</a></td>
33 <td>Class implementing a tabbed viewmanager class embedded in a splitter.</td> 31 <td>Class implementing a tabbed viewmanager class embedded in a splitter.</td>
34 </tr> 32 </tr>
35 </table> 33 </table>
34
36 <h3>Functions</h3> 35 <h3>Functions</h3>
37
38 <table> 36 <table>
39 <tr><td>None</td></tr> 37 <tr><td>None</td></tr>
40 </table> 38 </table>
39
41 <hr /> 40 <hr />
42 <hr /> 41 <hr />
43 <a NAME="TabBar" ID="TabBar"></a> 42 <a NAME="TabBar" ID="TabBar"></a>
44 <h2>TabBar</h2> 43 <h2>TabBar</h2>
45
46 <p> 44 <p>
47 Class implementing a customized tab bar supporting drag & drop. 45 Class implementing a customized tab bar supporting drag & drop.
48 </p> 46 </p>
47
49 <h3>Signals</h3> 48 <h3>Signals</h3>
50 <dl> 49 <dl>
51 50
52 <dt>tabCopyRequested(int, int)</dt> 51 <dt>tabCopyRequested(int, int)</dt>
53 <dd> 52 <dd>
73 </dd> 72 </dd>
74 </dl> 73 </dl>
75 <h3>Derived from</h3> 74 <h3>Derived from</h3>
76 EricWheelTabBar 75 EricWheelTabBar
77 <h3>Class Attributes</h3> 76 <h3>Class Attributes</h3>
78
79 <table> 77 <table>
80 <tr><td>None</td></tr> 78 <tr><td>None</td></tr>
81 </table> 79 </table>
80
82 <h3>Class Methods</h3> 81 <h3>Class Methods</h3>
83
84 <table> 82 <table>
85 <tr><td>None</td></tr> 83 <tr><td>None</td></tr>
86 </table> 84 </table>
85
87 <h3>Methods</h3> 86 <h3>Methods</h3>
88
89 <table> 87 <table>
90
91 <tr> 88 <tr>
92 <td><a href="#TabBar.__init__">TabBar</a></td> 89 <td><a href="#TabBar.__init__">TabBar</a></td>
93 <td>Constructor</td> 90 <td>Constructor</td>
94 </tr> 91 </tr>
95 <tr> 92 <tr>
107 <tr> 104 <tr>
108 <td><a href="#TabBar.mousePressEvent">mousePressEvent</a></td> 105 <td><a href="#TabBar.mousePressEvent">mousePressEvent</a></td>
109 <td>Protected method to handle mouse press events.</td> 106 <td>Protected method to handle mouse press events.</td>
110 </tr> 107 </tr>
111 </table> 108 </table>
109
112 <h3>Static Methods</h3> 110 <h3>Static Methods</h3>
113
114 <table> 111 <table>
115 <tr><td>None</td></tr> 112 <tr><td>None</td></tr>
116 </table> 113 </table>
117 114
115
118 <a NAME="TabBar.__init__" ID="TabBar.__init__"></a> 116 <a NAME="TabBar.__init__" ID="TabBar.__init__"></a>
119 <h4>TabBar (Constructor)</h4> 117 <h4>TabBar (Constructor)</h4>
120 <b>TabBar</b>(<i>parent=None</i>) 118 <b>TabBar</b>(<i>parent=None</i>)
121
122 <p> 119 <p>
123 Constructor 120 Constructor
124 </p> 121 </p>
122
125 <dl> 123 <dl>
126 124
127 <dt><i>parent</i> (QWidget)</dt> 125 <dt><i>parent</i> (QWidget)</dt>
128 <dd> 126 <dd>
129 reference to the parent widget 127 reference to the parent widget
130 </dd> 128 </dd>
131 </dl> 129 </dl>
132 <a NAME="TabBar.dragEnterEvent" ID="TabBar.dragEnterEvent"></a> 130 <a NAME="TabBar.dragEnterEvent" ID="TabBar.dragEnterEvent"></a>
133 <h4>TabBar.dragEnterEvent</h4> 131 <h4>TabBar.dragEnterEvent</h4>
134 <b>dragEnterEvent</b>(<i>event</i>) 132 <b>dragEnterEvent</b>(<i>event</i>)
135
136 <p> 133 <p>
137 Protected method to handle drag enter events. 134 Protected method to handle drag enter events.
138 </p> 135 </p>
136
139 <dl> 137 <dl>
140 138
141 <dt><i>event</i> (QDragEnterEvent)</dt> 139 <dt><i>event</i> (QDragEnterEvent)</dt>
142 <dd> 140 <dd>
143 reference to the drag enter event 141 reference to the drag enter event
144 </dd> 142 </dd>
145 </dl> 143 </dl>
146 <a NAME="TabBar.dropEvent" ID="TabBar.dropEvent"></a> 144 <a NAME="TabBar.dropEvent" ID="TabBar.dropEvent"></a>
147 <h4>TabBar.dropEvent</h4> 145 <h4>TabBar.dropEvent</h4>
148 <b>dropEvent</b>(<i>event</i>) 146 <b>dropEvent</b>(<i>event</i>)
149
150 <p> 147 <p>
151 Protected method to handle drop events. 148 Protected method to handle drop events.
152 </p> 149 </p>
150
153 <dl> 151 <dl>
154 152
155 <dt><i>event</i> (QDropEvent)</dt> 153 <dt><i>event</i> (QDropEvent)</dt>
156 <dd> 154 <dd>
157 reference to the drop event 155 reference to the drop event
158 </dd> 156 </dd>
159 </dl> 157 </dl>
160 <a NAME="TabBar.mouseMoveEvent" ID="TabBar.mouseMoveEvent"></a> 158 <a NAME="TabBar.mouseMoveEvent" ID="TabBar.mouseMoveEvent"></a>
161 <h4>TabBar.mouseMoveEvent</h4> 159 <h4>TabBar.mouseMoveEvent</h4>
162 <b>mouseMoveEvent</b>(<i>event</i>) 160 <b>mouseMoveEvent</b>(<i>event</i>)
163
164 <p> 161 <p>
165 Protected method to handle mouse move events. 162 Protected method to handle mouse move events.
166 </p> 163 </p>
164
167 <dl> 165 <dl>
168 166
169 <dt><i>event</i> (QMouseEvent)</dt> 167 <dt><i>event</i> (QMouseEvent)</dt>
170 <dd> 168 <dd>
171 reference to the mouse move event 169 reference to the mouse move event
172 </dd> 170 </dd>
173 </dl> 171 </dl>
174 <a NAME="TabBar.mousePressEvent" ID="TabBar.mousePressEvent"></a> 172 <a NAME="TabBar.mousePressEvent" ID="TabBar.mousePressEvent"></a>
175 <h4>TabBar.mousePressEvent</h4> 173 <h4>TabBar.mousePressEvent</h4>
176 <b>mousePressEvent</b>(<i>event</i>) 174 <b>mousePressEvent</b>(<i>event</i>)
177
178 <p> 175 <p>
179 Protected method to handle mouse press events. 176 Protected method to handle mouse press events.
180 </p> 177 </p>
178
181 <dl> 179 <dl>
182 180
183 <dt><i>event</i> (QMouseEvent)</dt> 181 <dt><i>event</i> (QMouseEvent)</dt>
184 <dd> 182 <dd>
185 reference to the mouse press event 183 reference to the mouse press event
188 <div align="right"><a href="#top">Up</a></div> 186 <div align="right"><a href="#top">Up</a></div>
189 <hr /> 187 <hr />
190 <hr /> 188 <hr />
191 <a NAME="TabWidget" ID="TabWidget"></a> 189 <a NAME="TabWidget" ID="TabWidget"></a>
192 <h2>TabWidget</h2> 190 <h2>TabWidget</h2>
193
194 <p> 191 <p>
195 Class implementing a custimized tab widget. 192 Class implementing a custimized tab widget.
196 </p> 193 </p>
194
197 <h3>Derived from</h3> 195 <h3>Derived from</h3>
198 EricTabWidget 196 EricTabWidget
199 <h3>Class Attributes</h3> 197 <h3>Class Attributes</h3>
200
201 <table> 198 <table>
202 <tr><td>None</td></tr> 199 <tr><td>None</td></tr>
203 </table> 200 </table>
201
204 <h3>Class Methods</h3> 202 <h3>Class Methods</h3>
205
206 <table> 203 <table>
207 <tr><td>None</td></tr> 204 <tr><td>None</td></tr>
208 </table> 205 </table>
206
209 <h3>Methods</h3> 207 <h3>Methods</h3>
210
211 <table> 208 <table>
212
213 <tr> 209 <tr>
214 <td><a href="#TabWidget.__init__">TabWidget</a></td> 210 <td><a href="#TabWidget.__init__">TabWidget</a></td>
215 <td>Constructor</td> 211 <td>Constructor</td>
216 </tr> 212 </tr>
217 <tr> 213 <tr>
377 <tr> 373 <tr>
378 <td><a href="#TabWidget.showIndicator">showIndicator</a></td> 374 <td><a href="#TabWidget.showIndicator">showIndicator</a></td>
379 <td>Public slot to set the indicator on or off.</td> 375 <td>Public slot to set the indicator on or off.</td>
380 </tr> 376 </tr>
381 </table> 377 </table>
378
382 <h3>Static Methods</h3> 379 <h3>Static Methods</h3>
383
384 <table> 380 <table>
385 <tr><td>None</td></tr> 381 <tr><td>None</td></tr>
386 </table> 382 </table>
387 383
384
388 <a NAME="TabWidget.__init__" ID="TabWidget.__init__"></a> 385 <a NAME="TabWidget.__init__" ID="TabWidget.__init__"></a>
389 <h4>TabWidget (Constructor)</h4> 386 <h4>TabWidget (Constructor)</h4>
390 <b>TabWidget</b>(<i>vm</i>) 387 <b>TabWidget</b>(<i>vm</i>)
391
392 <p> 388 <p>
393 Constructor 389 Constructor
394 </p> 390 </p>
391
395 <dl> 392 <dl>
396 393
397 <dt><i>vm</i> (Tabview)</dt> 394 <dt><i>vm</i> (Tabview)</dt>
398 <dd> 395 <dd>
399 view manager widget 396 view manager widget
400 </dd> 397 </dd>
401 </dl> 398 </dl>
402 <a NAME="TabWidget.__captionChange" ID="TabWidget.__captionChange"></a> 399 <a NAME="TabWidget.__captionChange" ID="TabWidget.__captionChange"></a>
403 <h4>TabWidget.__captionChange</h4> 400 <h4>TabWidget.__captionChange</h4>
404 <b>__captionChange</b>(<i>cap, editor</i>) 401 <b>__captionChange</b>(<i>cap, editor</i>)
405
406 <p> 402 <p>
407 Private slot to handle Caption change signals from the editor. 403 Private slot to handle Caption change signals from the editor.
408 </p> 404 </p>
409 <p> 405 <p>
410 Updates the tab text and tooltip text to reflect the new caption 406 Updates the tab text and tooltip text to reflect the new caption
411 information. 407 information.
412 </p> 408 </p>
409
413 <dl> 410 <dl>
414 411
415 <dt><i>cap</i> (str)</dt> 412 <dt><i>cap</i> (str)</dt>
416 <dd> 413 <dd>
417 Caption for the editor 414 Caption for the editor
422 </dd> 419 </dd>
423 </dl> 420 </dl>
424 <a NAME="TabWidget.__closeButtonClicked" ID="TabWidget.__closeButtonClicked"></a> 421 <a NAME="TabWidget.__closeButtonClicked" ID="TabWidget.__closeButtonClicked"></a>
425 <h4>TabWidget.__closeButtonClicked</h4> 422 <h4>TabWidget.__closeButtonClicked</h4>
426 <b>__closeButtonClicked</b>(<i></i>) 423 <b>__closeButtonClicked</b>(<i></i>)
427
428 <p> 424 <p>
429 Private method to handle the press of the close button. 425 Private method to handle the press of the close button.
430 </p> 426 </p>
427
431 <a NAME="TabWidget.__closeRequested" ID="TabWidget.__closeRequested"></a> 428 <a NAME="TabWidget.__closeRequested" ID="TabWidget.__closeRequested"></a>
432 <h4>TabWidget.__closeRequested</h4> 429 <h4>TabWidget.__closeRequested</h4>
433 <b>__closeRequested</b>(<i>index</i>) 430 <b>__closeRequested</b>(<i>index</i>)
434
435 <p> 431 <p>
436 Private method to handle the press of the individual tab close button. 432 Private method to handle the press of the individual tab close button.
437 </p> 433 </p>
434
438 <dl> 435 <dl>
439 436
440 <dt><i>index</i> (int)</dt> 437 <dt><i>index</i> (int)</dt>
441 <dd> 438 <dd>
442 index of the tab 439 index of the tab
443 </dd> 440 </dd>
444 </dl> 441 </dl>
445 <a NAME="TabWidget.__contextMenuClose" ID="TabWidget.__contextMenuClose"></a> 442 <a NAME="TabWidget.__contextMenuClose" ID="TabWidget.__contextMenuClose"></a>
446 <h4>TabWidget.__contextMenuClose</h4> 443 <h4>TabWidget.__contextMenuClose</h4>
447 <b>__contextMenuClose</b>(<i></i>) 444 <b>__contextMenuClose</b>(<i></i>)
448
449 <p> 445 <p>
450 Private method to close the selected tab. 446 Private method to close the selected tab.
451 </p> 447 </p>
448
452 <a NAME="TabWidget.__contextMenuCloseAll" ID="TabWidget.__contextMenuCloseAll"></a> 449 <a NAME="TabWidget.__contextMenuCloseAll" ID="TabWidget.__contextMenuCloseAll"></a>
453 <h4>TabWidget.__contextMenuCloseAll</h4> 450 <h4>TabWidget.__contextMenuCloseAll</h4>
454 <b>__contextMenuCloseAll</b>(<i></i>) 451 <b>__contextMenuCloseAll</b>(<i></i>)
455
456 <p> 452 <p>
457 Private method to close all tabs. 453 Private method to close all tabs.
458 </p> 454 </p>
455
459 <a NAME="TabWidget.__contextMenuCloseLeft" ID="TabWidget.__contextMenuCloseLeft"></a> 456 <a NAME="TabWidget.__contextMenuCloseLeft" ID="TabWidget.__contextMenuCloseLeft"></a>
460 <h4>TabWidget.__contextMenuCloseLeft</h4> 457 <h4>TabWidget.__contextMenuCloseLeft</h4>
461 <b>__contextMenuCloseLeft</b>(<i></i>) 458 <b>__contextMenuCloseLeft</b>(<i></i>)
462
463 <p> 459 <p>
464 Private method to close tabs to the left. 460 Private method to close tabs to the left.
465 </p> 461 </p>
462
466 <a NAME="TabWidget.__contextMenuCloseOthers" ID="TabWidget.__contextMenuCloseOthers"></a> 463 <a NAME="TabWidget.__contextMenuCloseOthers" ID="TabWidget.__contextMenuCloseOthers"></a>
467 <h4>TabWidget.__contextMenuCloseOthers</h4> 464 <h4>TabWidget.__contextMenuCloseOthers</h4>
468 <b>__contextMenuCloseOthers</b>(<i></i>) 465 <b>__contextMenuCloseOthers</b>(<i></i>)
469
470 <p> 466 <p>
471 Private method to close the other tabs. 467 Private method to close the other tabs.
472 </p> 468 </p>
469
473 <a NAME="TabWidget.__contextMenuCloseRight" ID="TabWidget.__contextMenuCloseRight"></a> 470 <a NAME="TabWidget.__contextMenuCloseRight" ID="TabWidget.__contextMenuCloseRight"></a>
474 <h4>TabWidget.__contextMenuCloseRight</h4> 471 <h4>TabWidget.__contextMenuCloseRight</h4>
475 <b>__contextMenuCloseRight</b>(<i></i>) 472 <b>__contextMenuCloseRight</b>(<i></i>)
476
477 <p> 473 <p>
478 Private method to close tabs to the right. 474 Private method to close tabs to the right.
479 </p> 475 </p>
476
480 <a NAME="TabWidget.__contextMenuCopyPathToClipboard" ID="TabWidget.__contextMenuCopyPathToClipboard"></a> 477 <a NAME="TabWidget.__contextMenuCopyPathToClipboard" ID="TabWidget.__contextMenuCopyPathToClipboard"></a>
481 <h4>TabWidget.__contextMenuCopyPathToClipboard</h4> 478 <h4>TabWidget.__contextMenuCopyPathToClipboard</h4>
482 <b>__contextMenuCopyPathToClipboard</b>(<i></i>) 479 <b>__contextMenuCopyPathToClipboard</b>(<i></i>)
483
484 <p> 480 <p>
485 Private method to copy the file name of the selected tab to the 481 Private method to copy the file name of the selected tab to the
486 clipboard. 482 clipboard.
487 </p> 483 </p>
484
488 <a NAME="TabWidget.__contextMenuCoverageScript" ID="TabWidget.__contextMenuCoverageScript"></a> 485 <a NAME="TabWidget.__contextMenuCoverageScript" ID="TabWidget.__contextMenuCoverageScript"></a>
489 <h4>TabWidget.__contextMenuCoverageScript</h4> 486 <h4>TabWidget.__contextMenuCoverageScript</h4>
490 <b>__contextMenuCoverageScript</b>(<i></i>) 487 <b>__contextMenuCoverageScript</b>(<i></i>)
491
492 <p> 488 <p>
493 Private method to run a coverage test of the editor script. 489 Private method to run a coverage test of the editor script.
494 </p> 490 </p>
491
495 <a NAME="TabWidget.__contextMenuDebugScript" ID="TabWidget.__contextMenuDebugScript"></a> 492 <a NAME="TabWidget.__contextMenuDebugScript" ID="TabWidget.__contextMenuDebugScript"></a>
496 <h4>TabWidget.__contextMenuDebugScript</h4> 493 <h4>TabWidget.__contextMenuDebugScript</h4>
497 <b>__contextMenuDebugScript</b>(<i></i>) 494 <b>__contextMenuDebugScript</b>(<i></i>)
498
499 <p> 495 <p>
500 Private method to debug the editor script. 496 Private method to debug the editor script.
501 </p> 497 </p>
498
502 <a NAME="TabWidget.__contextMenuMoveFirst" ID="TabWidget.__contextMenuMoveFirst"></a> 499 <a NAME="TabWidget.__contextMenuMoveFirst" ID="TabWidget.__contextMenuMoveFirst"></a>
503 <h4>TabWidget.__contextMenuMoveFirst</h4> 500 <h4>TabWidget.__contextMenuMoveFirst</h4>
504 <b>__contextMenuMoveFirst</b>(<i></i>) 501 <b>__contextMenuMoveFirst</b>(<i></i>)
505
506 <p> 502 <p>
507 Private method to move a tab to the first position. 503 Private method to move a tab to the first position.
508 </p> 504 </p>
505
509 <a NAME="TabWidget.__contextMenuMoveLast" ID="TabWidget.__contextMenuMoveLast"></a> 506 <a NAME="TabWidget.__contextMenuMoveLast" ID="TabWidget.__contextMenuMoveLast"></a>
510 <h4>TabWidget.__contextMenuMoveLast</h4> 507 <h4>TabWidget.__contextMenuMoveLast</h4>
511 <b>__contextMenuMoveLast</b>(<i></i>) 508 <b>__contextMenuMoveLast</b>(<i></i>)
512
513 <p> 509 <p>
514 Private method to move a tab to the last position. 510 Private method to move a tab to the last position.
515 </p> 511 </p>
512
516 <a NAME="TabWidget.__contextMenuMoveLeft" ID="TabWidget.__contextMenuMoveLeft"></a> 513 <a NAME="TabWidget.__contextMenuMoveLeft" ID="TabWidget.__contextMenuMoveLeft"></a>
517 <h4>TabWidget.__contextMenuMoveLeft</h4> 514 <h4>TabWidget.__contextMenuMoveLeft</h4>
518 <b>__contextMenuMoveLeft</b>(<i></i>) 515 <b>__contextMenuMoveLeft</b>(<i></i>)
519
520 <p> 516 <p>
521 Private method to move a tab one position to the left. 517 Private method to move a tab one position to the left.
522 </p> 518 </p>
519
523 <a NAME="TabWidget.__contextMenuMoveRight" ID="TabWidget.__contextMenuMoveRight"></a> 520 <a NAME="TabWidget.__contextMenuMoveRight" ID="TabWidget.__contextMenuMoveRight"></a>
524 <h4>TabWidget.__contextMenuMoveRight</h4> 521 <h4>TabWidget.__contextMenuMoveRight</h4>
525 <b>__contextMenuMoveRight</b>(<i></i>) 522 <b>__contextMenuMoveRight</b>(<i></i>)
526
527 <p> 523 <p>
528 Private method to move a tab one position to the right. 524 Private method to move a tab one position to the right.
529 </p> 525 </p>
526
530 <a NAME="TabWidget.__contextMenuOpenRejections" ID="TabWidget.__contextMenuOpenRejections"></a> 527 <a NAME="TabWidget.__contextMenuOpenRejections" ID="TabWidget.__contextMenuOpenRejections"></a>
531 <h4>TabWidget.__contextMenuOpenRejections</h4> 528 <h4>TabWidget.__contextMenuOpenRejections</h4>
532 <b>__contextMenuOpenRejections</b>(<i></i>) 529 <b>__contextMenuOpenRejections</b>(<i></i>)
533
534 <p> 530 <p>
535 Private slot to open a rejections file associated with the selected 531 Private slot to open a rejections file associated with the selected
536 tab. 532 tab.
537 </p> 533 </p>
534
538 <a NAME="TabWidget.__contextMenuPrintFile" ID="TabWidget.__contextMenuPrintFile"></a> 535 <a NAME="TabWidget.__contextMenuPrintFile" ID="TabWidget.__contextMenuPrintFile"></a>
539 <h4>TabWidget.__contextMenuPrintFile</h4> 536 <h4>TabWidget.__contextMenuPrintFile</h4>
540 <b>__contextMenuPrintFile</b>(<i></i>) 537 <b>__contextMenuPrintFile</b>(<i></i>)
541
542 <p> 538 <p>
543 Private method to print the selected tab. 539 Private method to print the selected tab.
544 </p> 540 </p>
541
545 <a NAME="TabWidget.__contextMenuPrintPreviewFile" ID="TabWidget.__contextMenuPrintPreviewFile"></a> 542 <a NAME="TabWidget.__contextMenuPrintPreviewFile" ID="TabWidget.__contextMenuPrintPreviewFile"></a>
546 <h4>TabWidget.__contextMenuPrintPreviewFile</h4> 543 <h4>TabWidget.__contextMenuPrintPreviewFile</h4>
547 <b>__contextMenuPrintPreviewFile</b>(<i></i>) 544 <b>__contextMenuPrintPreviewFile</b>(<i></i>)
548
549 <p> 545 <p>
550 Private method to show a print preview of the selected tab. 546 Private method to show a print preview of the selected tab.
551 </p> 547 </p>
548
552 <a NAME="TabWidget.__contextMenuProfileScript" ID="TabWidget.__contextMenuProfileScript"></a> 549 <a NAME="TabWidget.__contextMenuProfileScript" ID="TabWidget.__contextMenuProfileScript"></a>
553 <h4>TabWidget.__contextMenuProfileScript</h4> 550 <h4>TabWidget.__contextMenuProfileScript</h4>
554 <b>__contextMenuProfileScript</b>(<i></i>) 551 <b>__contextMenuProfileScript</b>(<i></i>)
555
556 <p> 552 <p>
557 Private method to profile the editor script. 553 Private method to profile the editor script.
558 </p> 554 </p>
555
559 <a NAME="TabWidget.__contextMenuRunScript" ID="TabWidget.__contextMenuRunScript"></a> 556 <a NAME="TabWidget.__contextMenuRunScript" ID="TabWidget.__contextMenuRunScript"></a>
560 <h4>TabWidget.__contextMenuRunScript</h4> 557 <h4>TabWidget.__contextMenuRunScript</h4>
561 <b>__contextMenuRunScript</b>(<i></i>) 558 <b>__contextMenuRunScript</b>(<i></i>)
562
563 <p> 559 <p>
564 Private method to run the editor script. 560 Private method to run the editor script.
565 </p> 561 </p>
562
566 <a NAME="TabWidget.__contextMenuSave" ID="TabWidget.__contextMenuSave"></a> 563 <a NAME="TabWidget.__contextMenuSave" ID="TabWidget.__contextMenuSave"></a>
567 <h4>TabWidget.__contextMenuSave</h4> 564 <h4>TabWidget.__contextMenuSave</h4>
568 <b>__contextMenuSave</b>(<i></i>) 565 <b>__contextMenuSave</b>(<i></i>)
569
570 <p> 566 <p>
571 Private method to save the selected tab. 567 Private method to save the selected tab.
572 </p> 568 </p>
569
573 <a NAME="TabWidget.__contextMenuSaveAll" ID="TabWidget.__contextMenuSaveAll"></a> 570 <a NAME="TabWidget.__contextMenuSaveAll" ID="TabWidget.__contextMenuSaveAll"></a>
574 <h4>TabWidget.__contextMenuSaveAll</h4> 571 <h4>TabWidget.__contextMenuSaveAll</h4>
575 <b>__contextMenuSaveAll</b>(<i></i>) 572 <b>__contextMenuSaveAll</b>(<i></i>)
576
577 <p> 573 <p>
578 Private method to save all tabs. 574 Private method to save all tabs.
579 </p> 575 </p>
576
580 <a NAME="TabWidget.__contextMenuSaveAs" ID="TabWidget.__contextMenuSaveAs"></a> 577 <a NAME="TabWidget.__contextMenuSaveAs" ID="TabWidget.__contextMenuSaveAs"></a>
581 <h4>TabWidget.__contextMenuSaveAs</h4> 578 <h4>TabWidget.__contextMenuSaveAs</h4>
582 <b>__contextMenuSaveAs</b>(<i></i>) 579 <b>__contextMenuSaveAs</b>(<i></i>)
583
584 <p> 580 <p>
585 Private method to save the selected tab to a new file. 581 Private method to save the selected tab to a new file.
586 </p> 582 </p>
583
587 <a NAME="TabWidget.__copyTab" ID="TabWidget.__copyTab"></a> 584 <a NAME="TabWidget.__copyTab" ID="TabWidget.__copyTab"></a>
588 <h4>TabWidget.__copyTab</h4> 585 <h4>TabWidget.__copyTab</h4>
589 <b>__copyTab</b>(<i>sourceIndex, targetIndex</i>) 586 <b>__copyTab</b>(<i>sourceIndex, targetIndex</i>)
590
591 <p> 587 <p>
592 Private method to copy an editor. 588 Private method to copy an editor.
593 </p> 589 </p>
590
594 <dl> 591 <dl>
595 592
596 <dt><i>sourceIndex</i> (int)</dt> 593 <dt><i>sourceIndex</i> (int)</dt>
597 <dd> 594 <dd>
598 index of the tab 595 index of the tab
603 </dd> 600 </dd>
604 </dl> 601 </dl>
605 <a NAME="TabWidget.__copyTabOther" ID="TabWidget.__copyTabOther"></a> 602 <a NAME="TabWidget.__copyTabOther" ID="TabWidget.__copyTabOther"></a>
606 <h4>TabWidget.__copyTabOther</h4> 603 <h4>TabWidget.__copyTabOther</h4>
607 <b>__copyTabOther</b>(<i>sourceId, sourceIndex, targetIndex</i>) 604 <b>__copyTabOther</b>(<i>sourceId, sourceIndex, targetIndex</i>)
608
609 <p> 605 <p>
610 Private method to copy an editor from another TabWidget. 606 Private method to copy an editor from another TabWidget.
611 </p> 607 </p>
608
612 <dl> 609 <dl>
613 610
614 <dt><i>sourceId</i> (str)</dt> 611 <dt><i>sourceId</i> (str)</dt>
615 <dd> 612 <dd>
616 id of the TabWidget to get the editor from 613 id of the TabWidget to get the editor from
625 </dd> 622 </dd>
626 </dl> 623 </dl>
627 <a NAME="TabWidget.__cursorLineChanged" ID="TabWidget.__cursorLineChanged"></a> 624 <a NAME="TabWidget.__cursorLineChanged" ID="TabWidget.__cursorLineChanged"></a>
628 <h4>TabWidget.__cursorLineChanged</h4> 625 <h4>TabWidget.__cursorLineChanged</h4>
629 <b>__cursorLineChanged</b>(<i>lineno, editor</i>) 626 <b>__cursorLineChanged</b>(<i>lineno, editor</i>)
630
631 <p> 627 <p>
632 Private slot to handle a change of the current editor's cursor line. 628 Private slot to handle a change of the current editor's cursor line.
633 </p> 629 </p>
630
634 <dl> 631 <dl>
635 632
636 <dt><i>lineno</i> (int)</dt> 633 <dt><i>lineno</i> (int)</dt>
637 <dd> 634 <dd>
638 line number of the editor's cursor (zero based) 635 line number of the editor's cursor (zero based)
643 </dd> 640 </dd>
644 </dl> 641 </dl>
645 <a NAME="TabWidget.__initMenu" ID="TabWidget.__initMenu"></a> 642 <a NAME="TabWidget.__initMenu" ID="TabWidget.__initMenu"></a>
646 <h4>TabWidget.__initMenu</h4> 643 <h4>TabWidget.__initMenu</h4>
647 <b>__initMenu</b>(<i></i>) 644 <b>__initMenu</b>(<i></i>)
648
649 <p> 645 <p>
650 Private method to initialize the tab context menu. 646 Private method to initialize the tab context menu.
651 </p> 647 </p>
648
652 <a NAME="TabWidget.__navigationMenuTriggered" ID="TabWidget.__navigationMenuTriggered"></a> 649 <a NAME="TabWidget.__navigationMenuTriggered" ID="TabWidget.__navigationMenuTriggered"></a>
653 <h4>TabWidget.__navigationMenuTriggered</h4> 650 <h4>TabWidget.__navigationMenuTriggered</h4>
654 <b>__navigationMenuTriggered</b>(<i>act</i>) 651 <b>__navigationMenuTriggered</b>(<i>act</i>)
655
656 <p> 652 <p>
657 Private slot called to handle the navigation button menu selection. 653 Private slot called to handle the navigation button menu selection.
658 </p> 654 </p>
655
659 <dl> 656 <dl>
660 657
661 <dt><i>act</i> (QAction)</dt> 658 <dt><i>act</i> (QAction)</dt>
662 <dd> 659 <dd>
663 reference to the selected action 660 reference to the selected action
664 </dd> 661 </dd>
665 </dl> 662 </dl>
666 <a NAME="TabWidget.__relocateTab" ID="TabWidget.__relocateTab"></a> 663 <a NAME="TabWidget.__relocateTab" ID="TabWidget.__relocateTab"></a>
667 <h4>TabWidget.__relocateTab</h4> 664 <h4>TabWidget.__relocateTab</h4>
668 <b>__relocateTab</b>(<i>sourceId, sourceIndex, targetIndex</i>) 665 <b>__relocateTab</b>(<i>sourceId, sourceIndex, targetIndex</i>)
669
670 <p> 666 <p>
671 Private method to relocate an editor from another TabWidget. 667 Private method to relocate an editor from another TabWidget.
672 </p> 668 </p>
669
673 <dl> 670 <dl>
674 671
675 <dt><i>sourceId</i> (str)</dt> 672 <dt><i>sourceId</i> (str)</dt>
676 <dd> 673 <dd>
677 id of the TabWidget to get the editor from 674 id of the TabWidget to get the editor from
686 </dd> 683 </dd>
687 </dl> 684 </dl>
688 <a NAME="TabWidget.__showContextMenu" ID="TabWidget.__showContextMenu"></a> 685 <a NAME="TabWidget.__showContextMenu" ID="TabWidget.__showContextMenu"></a>
689 <h4>TabWidget.__showContextMenu</h4> 686 <h4>TabWidget.__showContextMenu</h4>
690 <b>__showContextMenu</b>(<i>coord, index</i>) 687 <b>__showContextMenu</b>(<i>coord, index</i>)
691
692 <p> 688 <p>
693 Private slot to show the tab context menu. 689 Private slot to show the tab context menu.
694 </p> 690 </p>
691
695 <dl> 692 <dl>
696 693
697 <dt><i>coord</i> (QPoint)</dt> 694 <dt><i>coord</i> (QPoint)</dt>
698 <dd> 695 <dd>
699 the position of the mouse pointer 696 the position of the mouse pointer
704 </dd> 701 </dd>
705 </dl> 702 </dl>
706 <a NAME="TabWidget.__showNavigationMenu" ID="TabWidget.__showNavigationMenu"></a> 703 <a NAME="TabWidget.__showNavigationMenu" ID="TabWidget.__showNavigationMenu"></a>
707 <h4>TabWidget.__showNavigationMenu</h4> 704 <h4>TabWidget.__showNavigationMenu</h4>
708 <b>__showNavigationMenu</b>(<i></i>) 705 <b>__showNavigationMenu</b>(<i></i>)
709
710 <p> 706 <p>
711 Private slot to show the navigation button menu. 707 Private slot to show the navigation button menu.
712 </p> 708 </p>
709
713 <a NAME="TabWidget.addTab" ID="TabWidget.addTab"></a> 710 <a NAME="TabWidget.addTab" ID="TabWidget.addTab"></a>
714 <h4>TabWidget.addTab</h4> 711 <h4>TabWidget.addTab</h4>
715 <b>addTab</b>(<i>assembly, title</i>) 712 <b>addTab</b>(<i>assembly, title</i>)
716
717 <p> 713 <p>
718 Public method to add a new tab. 714 Public method to add a new tab.
719 </p> 715 </p>
716
720 <dl> 717 <dl>
721 718
722 <dt><i>assembly</i> (QScintilla.EditorAssembly.EditorAssembly)</dt> 719 <dt><i>assembly</i> (QScintilla.EditorAssembly.EditorAssembly)</dt>
723 <dd> 720 <dd>
724 editor assembly object to be added 721 editor assembly object to be added
729 </dd> 726 </dd>
730 </dl> 727 </dl>
731 <a NAME="TabWidget.currentWidget" ID="TabWidget.currentWidget"></a> 728 <a NAME="TabWidget.currentWidget" ID="TabWidget.currentWidget"></a>
732 <h4>TabWidget.currentWidget</h4> 729 <h4>TabWidget.currentWidget</h4>
733 <b>currentWidget</b>(<i></i>) 730 <b>currentWidget</b>(<i></i>)
734
735 <p> 731 <p>
736 Public method to return a reference to the current page. 732 Public method to return a reference to the current page.
737 </p> 733 </p>
734
738 <dl> 735 <dl>
739 <dt>Return:</dt> 736 <dt>Return:</dt>
740 <dd> 737 <dd>
741 reference to the current page 738 reference to the current page
742 </dd> 739 </dd>
748 </dd> 745 </dd>
749 </dl> 746 </dl>
750 <a NAME="TabWidget.hasEditor" ID="TabWidget.hasEditor"></a> 747 <a NAME="TabWidget.hasEditor" ID="TabWidget.hasEditor"></a>
751 <h4>TabWidget.hasEditor</h4> 748 <h4>TabWidget.hasEditor</h4>
752 <b>hasEditor</b>(<i>editor</i>) 749 <b>hasEditor</b>(<i>editor</i>)
753
754 <p> 750 <p>
755 Public method to check for an editor. 751 Public method to check for an editor.
756 </p> 752 </p>
753
757 <dl> 754 <dl>
758 755
759 <dt><i>editor</i> (Editor)</dt> 756 <dt><i>editor</i> (Editor)</dt>
760 <dd> 757 <dd>
761 editor object to check for 758 editor object to check for
775 </dd> 772 </dd>
776 </dl> 773 </dl>
777 <a NAME="TabWidget.hasEditors" ID="TabWidget.hasEditors"></a> 774 <a NAME="TabWidget.hasEditors" ID="TabWidget.hasEditors"></a>
778 <h4>TabWidget.hasEditors</h4> 775 <h4>TabWidget.hasEditors</h4>
779 <b>hasEditors</b>(<i></i>) 776 <b>hasEditors</b>(<i></i>)
780
781 <p> 777 <p>
782 Public method to test, if any editor is managed. 778 Public method to test, if any editor is managed.
783 </p> 779 </p>
780
784 <dl> 781 <dl>
785 <dt>Return:</dt> 782 <dt>Return:</dt>
786 <dd> 783 <dd>
787 flag indicating editors are managed 784 flag indicating editors are managed
788 </dd> 785 </dd>
794 </dd> 791 </dd>
795 </dl> 792 </dl>
796 <a NAME="TabWidget.indexOf" ID="TabWidget.indexOf"></a> 793 <a NAME="TabWidget.indexOf" ID="TabWidget.indexOf"></a>
797 <h4>TabWidget.indexOf</h4> 794 <h4>TabWidget.indexOf</h4>
798 <b>indexOf</b>(<i>widget</i>) 795 <b>indexOf</b>(<i>widget</i>)
799
800 <p> 796 <p>
801 Public method to get the tab index of the given editor. 797 Public method to get the tab index of the given editor.
802 </p> 798 </p>
799
803 <dl> 800 <dl>
804 801
805 <dt><i>widget</i> (QLabel or Editor)</dt> 802 <dt><i>widget</i> (QLabel or Editor)</dt>
806 <dd> 803 <dd>
807 widget to get the index for 804 widget to get the index for
820 </dd> 817 </dd>
821 </dl> 818 </dl>
822 <a NAME="TabWidget.insertWidget" ID="TabWidget.insertWidget"></a> 819 <a NAME="TabWidget.insertWidget" ID="TabWidget.insertWidget"></a>
823 <h4>TabWidget.insertWidget</h4> 820 <h4>TabWidget.insertWidget</h4>
824 <b>insertWidget</b>(<i>index, assembly, title</i>) 821 <b>insertWidget</b>(<i>index, assembly, title</i>)
825
826 <p> 822 <p>
827 Public method to insert a new tab. 823 Public method to insert a new tab.
828 </p> 824 </p>
825
829 <dl> 826 <dl>
830 827
831 <dt><i>index</i> (int)</dt> 828 <dt><i>index</i> (int)</dt>
832 <dd> 829 <dd>
833 index position for the new tab 830 index position for the new tab
854 </dd> 851 </dd>
855 </dl> 852 </dl>
856 <a NAME="TabWidget.mouseDoubleClickEvent" ID="TabWidget.mouseDoubleClickEvent"></a> 853 <a NAME="TabWidget.mouseDoubleClickEvent" ID="TabWidget.mouseDoubleClickEvent"></a>
857 <h4>TabWidget.mouseDoubleClickEvent</h4> 854 <h4>TabWidget.mouseDoubleClickEvent</h4>
858 <b>mouseDoubleClickEvent</b>(<i>event</i>) 855 <b>mouseDoubleClickEvent</b>(<i>event</i>)
859
860 <p> 856 <p>
861 Protected method handling double click events. 857 Protected method handling double click events.
862 </p> 858 </p>
859
863 <dl> 860 <dl>
864 861
865 <dt><i>event</i> (QMouseEvent)</dt> 862 <dt><i>event</i> (QMouseEvent)</dt>
866 <dd> 863 <dd>
867 reference to the event object 864 reference to the event object
868 </dd> 865 </dd>
869 </dl> 866 </dl>
870 <a NAME="TabWidget.removeWidget" ID="TabWidget.removeWidget"></a> 867 <a NAME="TabWidget.removeWidget" ID="TabWidget.removeWidget"></a>
871 <h4>TabWidget.removeWidget</h4> 868 <h4>TabWidget.removeWidget</h4>
872 <b>removeWidget</b>(<i>widget</i>) 869 <b>removeWidget</b>(<i>widget</i>)
873
874 <p> 870 <p>
875 Public method to remove a widget. 871 Public method to remove a widget.
876 </p> 872 </p>
873
877 <dl> 874 <dl>
878 875
879 <dt><i>widget</i> (QWidget)</dt> 876 <dt><i>widget</i> (QWidget)</dt>
880 <dd> 877 <dd>
881 widget to be removed 878 widget to be removed
882 </dd> 879 </dd>
883 </dl> 880 </dl>
884 <a NAME="TabWidget.setCurrentWidget" ID="TabWidget.setCurrentWidget"></a> 881 <a NAME="TabWidget.setCurrentWidget" ID="TabWidget.setCurrentWidget"></a>
885 <h4>TabWidget.setCurrentWidget</h4> 882 <h4>TabWidget.setCurrentWidget</h4>
886 <b>setCurrentWidget</b>(<i>assembly</i>) 883 <b>setCurrentWidget</b>(<i>assembly</i>)
887
888 <p> 884 <p>
889 Public method to set the current tab by the given editor assembly. 885 Public method to set the current tab by the given editor assembly.
890 </p> 886 </p>
887
891 <dl> 888 <dl>
892 889
893 <dt><i>assembly</i> (EditorAssembly.EditorAssembly)</dt> 890 <dt><i>assembly</i> (EditorAssembly.EditorAssembly)</dt>
894 <dd> 891 <dd>
895 editor assembly to determine current tab from 892 editor assembly to determine current tab from
896 </dd> 893 </dd>
897 </dl> 894 </dl>
898 <a NAME="TabWidget.showIndicator" ID="TabWidget.showIndicator"></a> 895 <a NAME="TabWidget.showIndicator" ID="TabWidget.showIndicator"></a>
899 <h4>TabWidget.showIndicator</h4> 896 <h4>TabWidget.showIndicator</h4>
900 <b>showIndicator</b>(<i>on</i>) 897 <b>showIndicator</b>(<i>on</i>)
901
902 <p> 898 <p>
903 Public slot to set the indicator on or off. 899 Public slot to set the indicator on or off.
904 </p> 900 </p>
901
905 <dl> 902 <dl>
906 903
907 <dt><i>on</i> (bool)</dt> 904 <dt><i>on</i> (bool)</dt>
908 <dd> 905 <dd>
909 flag indicating the state of the indicator 906 flag indicating the state of the indicator
912 <div align="right"><a href="#top">Up</a></div> 909 <div align="right"><a href="#top">Up</a></div>
913 <hr /> 910 <hr />
914 <hr /> 911 <hr />
915 <a NAME="Tabview" ID="Tabview"></a> 912 <a NAME="Tabview" ID="Tabview"></a>
916 <h2>Tabview</h2> 913 <h2>Tabview</h2>
917
918 <p> 914 <p>
919 Class implementing a tabbed viewmanager class embedded in a splitter. 915 Class implementing a tabbed viewmanager class embedded in a splitter.
920 </p> 916 </p>
917
921 <h3>Signals</h3> 918 <h3>Signals</h3>
922 <dl> 919 <dl>
923 920
924 <dt>astViewerStateChanged(bool)</dt> 921 <dt>astViewerStateChanged(bool)</dt>
925 <dd> 922 <dd>
1024 </dd> 1021 </dd>
1025 </dl> 1022 </dl>
1026 <h3>Derived from</h3> 1023 <h3>Derived from</h3>
1027 ViewManager 1024 ViewManager
1028 <h3>Class Attributes</h3> 1025 <h3>Class Attributes</h3>
1029
1030 <table> 1026 <table>
1031 <tr><td>None</td></tr> 1027 <tr><td>None</td></tr>
1032 </table> 1028 </table>
1029
1033 <h3>Class Methods</h3> 1030 <h3>Class Methods</h3>
1034
1035 <table> 1031 <table>
1036 <tr><td>None</td></tr> 1032 <tr><td>None</td></tr>
1037 </table> 1033 </table>
1034
1038 <h3>Methods</h3> 1035 <h3>Methods</h3>
1039
1040 <table> 1036 <table>
1041
1042 <tr> 1037 <tr>
1043 <td><a href="#Tabview.__init__">Tabview</a></td> 1038 <td><a href="#Tabview.__init__">Tabview</a></td>
1044 <td>Constructor</td> 1039 <td>Constructor</td>
1045 </tr> 1040 </tr>
1046 <tr> 1041 <tr>
1166 <tr> 1161 <tr>
1167 <td><a href="#Tabview.tile">tile</a></td> 1162 <td><a href="#Tabview.tile">tile</a></td>
1168 <td>Public method to tile the managed windows.</td> 1163 <td>Public method to tile the managed windows.</td>
1169 </tr> 1164 </tr>
1170 </table> 1165 </table>
1166
1171 <h3>Static Methods</h3> 1167 <h3>Static Methods</h3>
1172
1173 <table> 1168 <table>
1174 <tr><td>None</td></tr> 1169 <tr><td>None</td></tr>
1175 </table> 1170 </table>
1176 1171
1172
1177 <a NAME="Tabview.__init__" ID="Tabview.__init__"></a> 1173 <a NAME="Tabview.__init__" ID="Tabview.__init__"></a>
1178 <h4>Tabview (Constructor)</h4> 1174 <h4>Tabview (Constructor)</h4>
1179 <b>Tabview</b>(<i>parent</i>) 1175 <b>Tabview</b>(<i>parent</i>)
1180
1181 <p> 1176 <p>
1182 Constructor 1177 Constructor
1183 </p> 1178 </p>
1179
1184 <dl> 1180 <dl>
1185 1181
1186 <dt><i>parent</i> (QWidget)</dt> 1182 <dt><i>parent</i> (QWidget)</dt>
1187 <dd> 1183 <dd>
1188 parent widget 1184 parent widget
1189 </dd> 1185 </dd>
1190 </dl> 1186 </dl>
1191 <a NAME="Tabview.__currentChanged" ID="Tabview.__currentChanged"></a> 1187 <a NAME="Tabview.__currentChanged" ID="Tabview.__currentChanged"></a>
1192 <h4>Tabview.__currentChanged</h4> 1188 <h4>Tabview.__currentChanged</h4>
1193 <b>__currentChanged</b>(<i>index</i>) 1189 <b>__currentChanged</b>(<i>index</i>)
1194
1195 <p> 1190 <p>
1196 Private slot to handle the currentChanged signal. 1191 Private slot to handle the currentChanged signal.
1197 </p> 1192 </p>
1193
1198 <dl> 1194 <dl>
1199 1195
1200 <dt><i>index</i> (int)</dt> 1196 <dt><i>index</i> (int)</dt>
1201 <dd> 1197 <dd>
1202 index of the current tab 1198 index of the current tab
1203 </dd> 1199 </dd>
1204 </dl> 1200 </dl>
1205 <a NAME="Tabview.__setIcon" ID="Tabview.__setIcon"></a> 1201 <a NAME="Tabview.__setIcon" ID="Tabview.__setIcon"></a>
1206 <h4>Tabview.__setIcon</h4> 1202 <h4>Tabview.__setIcon</h4>
1207 <b>__setIcon</b>(<i>editor, modified</i>) 1203 <b>__setIcon</b>(<i>editor, modified</i>)
1208
1209 <p> 1204 <p>
1210 Private method to set the icon for the given editor. 1205 Private method to set the icon for the given editor.
1211 </p> 1206 </p>
1207
1212 <dl> 1208 <dl>
1213 1209
1214 <dt><i>editor</i> (Editor)</dt> 1210 <dt><i>editor</i> (Editor)</dt>
1215 <dd> 1211 <dd>
1216 reference to the editor to set the icon for 1212 reference to the editor to set the icon for
1221 </dd> 1217 </dd>
1222 </dl> 1218 </dl>
1223 <a NAME="Tabview._addView" ID="Tabview._addView"></a> 1219 <a NAME="Tabview._addView" ID="Tabview._addView"></a>
1224 <h4>Tabview._addView</h4> 1220 <h4>Tabview._addView</h4>
1225 <b>_addView</b>(<i>win, fn=None, noName="", addNext=False, indexes=None</i>) 1221 <b>_addView</b>(<i>win, fn=None, noName="", addNext=False, indexes=None</i>)
1226
1227 <p> 1222 <p>
1228 Protected method to add a view (i.e. window). 1223 Protected method to add a view (i.e. window).
1229 </p> 1224 </p>
1225
1230 <dl> 1226 <dl>
1231 1227
1232 <dt><i>win</i> (EditorAssembly)</dt> 1228 <dt><i>win</i> (EditorAssembly)</dt>
1233 <dd> 1229 <dd>
1234 editor assembly to be added 1230 editor assembly to be added
1253 </dd> 1249 </dd>
1254 </dl> 1250 </dl>
1255 <a NAME="Tabview._initWindowActions" ID="Tabview._initWindowActions"></a> 1251 <a NAME="Tabview._initWindowActions" ID="Tabview._initWindowActions"></a>
1256 <h4>Tabview._initWindowActions</h4> 1252 <h4>Tabview._initWindowActions</h4>
1257 <b>_initWindowActions</b>(<i></i>) 1253 <b>_initWindowActions</b>(<i></i>)
1258
1259 <p> 1254 <p>
1260 Protected method to define the user interface actions for window 1255 Protected method to define the user interface actions for window
1261 handling. 1256 handling.
1262 </p> 1257 </p>
1258
1263 <a NAME="Tabview._modificationStatusChanged" ID="Tabview._modificationStatusChanged"></a> 1259 <a NAME="Tabview._modificationStatusChanged" ID="Tabview._modificationStatusChanged"></a>
1264 <h4>Tabview._modificationStatusChanged</h4> 1260 <h4>Tabview._modificationStatusChanged</h4>
1265 <b>_modificationStatusChanged</b>(<i>modified, editor</i>) 1261 <b>_modificationStatusChanged</b>(<i>modified, editor</i>)
1266
1267 <p> 1262 <p>
1268 Protected slot to handle the modificationStatusChanged signal. 1263 Protected slot to handle the modificationStatusChanged signal.
1269 </p> 1264 </p>
1265
1270 <dl> 1266 <dl>
1271 1267
1272 <dt><i>modified</i> (bool)</dt> 1268 <dt><i>modified</i> (bool)</dt>
1273 <dd> 1269 <dd>
1274 flag indicating the modification status 1270 flag indicating the modification status
1279 </dd> 1275 </dd>
1280 </dl> 1276 </dl>
1281 <a NAME="Tabview._removeAllViews" ID="Tabview._removeAllViews"></a> 1277 <a NAME="Tabview._removeAllViews" ID="Tabview._removeAllViews"></a>
1282 <h4>Tabview._removeAllViews</h4> 1278 <h4>Tabview._removeAllViews</h4>
1283 <b>_removeAllViews</b>(<i></i>) 1279 <b>_removeAllViews</b>(<i></i>)
1284
1285 <p> 1280 <p>
1286 Protected method to remove all views (i.e. windows). 1281 Protected method to remove all views (i.e. windows).
1287 </p> 1282 </p>
1283
1288 <a NAME="Tabview._removeView" ID="Tabview._removeView"></a> 1284 <a NAME="Tabview._removeView" ID="Tabview._removeView"></a>
1289 <h4>Tabview._removeView</h4> 1285 <h4>Tabview._removeView</h4>
1290 <b>_removeView</b>(<i>win</i>) 1286 <b>_removeView</b>(<i>win</i>)
1291
1292 <p> 1287 <p>
1293 Protected method to remove a view (i.e. window). 1288 Protected method to remove a view (i.e. window).
1294 </p> 1289 </p>
1290
1295 <dl> 1291 <dl>
1296 1292
1297 <dt><i>win</i> (Editor)</dt> 1293 <dt><i>win</i> (Editor)</dt>
1298 <dd> 1294 <dd>
1299 editor window to be removed 1295 editor window to be removed
1300 </dd> 1296 </dd>
1301 </dl> 1297 </dl>
1302 <a NAME="Tabview._showView" ID="Tabview._showView"></a> 1298 <a NAME="Tabview._showView" ID="Tabview._showView"></a>
1303 <h4>Tabview._showView</h4> 1299 <h4>Tabview._showView</h4>
1304 <b>_showView</b>(<i>win, fn=None</i>) 1300 <b>_showView</b>(<i>win, fn=None</i>)
1305
1306 <p> 1301 <p>
1307 Protected method to show a view (i.e. window). 1302 Protected method to show a view (i.e. window).
1308 </p> 1303 </p>
1304
1309 <dl> 1305 <dl>
1310 1306
1311 <dt><i>win</i> (EditorAssembly)</dt> 1307 <dt><i>win</i> (EditorAssembly)</dt>
1312 <dd> 1308 <dd>
1313 editor assembly to be shown 1309 editor assembly to be shown
1318 </dd> 1314 </dd>
1319 </dl> 1315 </dl>
1320 <a NAME="Tabview._syntaxErrorToggled" ID="Tabview._syntaxErrorToggled"></a> 1316 <a NAME="Tabview._syntaxErrorToggled" ID="Tabview._syntaxErrorToggled"></a>
1321 <h4>Tabview._syntaxErrorToggled</h4> 1317 <h4>Tabview._syntaxErrorToggled</h4>
1322 <b>_syntaxErrorToggled</b>(<i>editor</i>) 1318 <b>_syntaxErrorToggled</b>(<i>editor</i>)
1323
1324 <p> 1319 <p>
1325 Protected slot to handle the syntaxerrorToggled signal. 1320 Protected slot to handle the syntaxerrorToggled signal.
1326 </p> 1321 </p>
1322
1327 <dl> 1323 <dl>
1328 1324
1329 <dt><i>editor</i> (Editor)</dt> 1325 <dt><i>editor</i> (Editor)</dt>
1330 <dd> 1326 <dd>
1331 editor that sent the signal 1327 editor that sent the signal
1332 </dd> 1328 </dd>
1333 </dl> 1329 </dl>
1334 <a NAME="Tabview.activeWindow" ID="Tabview.activeWindow"></a> 1330 <a NAME="Tabview.activeWindow" ID="Tabview.activeWindow"></a>
1335 <h4>Tabview.activeWindow</h4> 1331 <h4>Tabview.activeWindow</h4>
1336 <b>activeWindow</b>(<i></i>) 1332 <b>activeWindow</b>(<i></i>)
1337
1338 <p> 1333 <p>
1339 Public method to return the active (i.e. current) window. 1334 Public method to return the active (i.e. current) window.
1340 </p> 1335 </p>
1336
1341 <dl> 1337 <dl>
1342 <dt>Return:</dt> 1338 <dt>Return:</dt>
1343 <dd> 1339 <dd>
1344 reference to the active editor 1340 reference to the active editor
1345 </dd> 1341 </dd>
1351 </dd> 1347 </dd>
1352 </dl> 1348 </dl>
1353 <a NAME="Tabview.addSplit" ID="Tabview.addSplit"></a> 1349 <a NAME="Tabview.addSplit" ID="Tabview.addSplit"></a>
1354 <h4>Tabview.addSplit</h4> 1350 <h4>Tabview.addSplit</h4>
1355 <b>addSplit</b>(<i></i>) 1351 <b>addSplit</b>(<i></i>)
1356
1357 <p> 1352 <p>
1358 Public method used to split the current view. 1353 Public method used to split the current view.
1359 </p> 1354 </p>
1355
1360 <a NAME="Tabview.canCascade" ID="Tabview.canCascade"></a> 1356 <a NAME="Tabview.canCascade" ID="Tabview.canCascade"></a>
1361 <h4>Tabview.canCascade</h4> 1357 <h4>Tabview.canCascade</h4>
1362 <b>canCascade</b>(<i></i>) 1358 <b>canCascade</b>(<i></i>)
1363
1364 <p> 1359 <p>
1365 Public method to signal if cascading of managed windows is available. 1360 Public method to signal if cascading of managed windows is available.
1366 </p> 1361 </p>
1362
1367 <dl> 1363 <dl>
1368 <dt>Return:</dt> 1364 <dt>Return:</dt>
1369 <dd> 1365 <dd>
1370 flag indicating cascading of windows is available 1366 flag indicating cascading of windows is available
1371 </dd> 1367 </dd>
1377 </dd> 1373 </dd>
1378 </dl> 1374 </dl>
1379 <a NAME="Tabview.canSplit" ID="Tabview.canSplit"></a> 1375 <a NAME="Tabview.canSplit" ID="Tabview.canSplit"></a>
1380 <h4>Tabview.canSplit</h4> 1376 <h4>Tabview.canSplit</h4>
1381 <b>canSplit</b>(<i></i>) 1377 <b>canSplit</b>(<i></i>)
1382
1383 <p> 1378 <p>
1384 public method to signal if splitting of the view is available. 1379 public method to signal if splitting of the view is available.
1385 </p> 1380 </p>
1381
1386 <dl> 1382 <dl>
1387 <dt>Return:</dt> 1383 <dt>Return:</dt>
1388 <dd> 1384 <dd>
1389 flag indicating splitting of the view is available. 1385 flag indicating splitting of the view is available.
1390 </dd> 1386 </dd>
1396 </dd> 1392 </dd>
1397 </dl> 1393 </dl>
1398 <a NAME="Tabview.canTile" ID="Tabview.canTile"></a> 1394 <a NAME="Tabview.canTile" ID="Tabview.canTile"></a>
1399 <h4>Tabview.canTile</h4> 1395 <h4>Tabview.canTile</h4>
1400 <b>canTile</b>(<i></i>) 1396 <b>canTile</b>(<i></i>)
1401
1402 <p> 1397 <p>
1403 Public method to signal if tiling of managed windows is available. 1398 Public method to signal if tiling of managed windows is available.
1404 </p> 1399 </p>
1400
1405 <dl> 1401 <dl>
1406 <dt>Return:</dt> 1402 <dt>Return:</dt>
1407 <dd> 1403 <dd>
1408 flag indicating tiling of windows is available 1404 flag indicating tiling of windows is available
1409 </dd> 1405 </dd>
1415 </dd> 1411 </dd>
1416 </dl> 1412 </dl>
1417 <a NAME="Tabview.cascade" ID="Tabview.cascade"></a> 1413 <a NAME="Tabview.cascade" ID="Tabview.cascade"></a>
1418 <h4>Tabview.cascade</h4> 1414 <h4>Tabview.cascade</h4>
1419 <b>cascade</b>(<i></i>) 1415 <b>cascade</b>(<i></i>)
1420
1421 <p> 1416 <p>
1422 Public method to cascade the managed windows. 1417 Public method to cascade the managed windows.
1423 </p> 1418 </p>
1419
1424 <a NAME="Tabview.eventFilter" ID="Tabview.eventFilter"></a> 1420 <a NAME="Tabview.eventFilter" ID="Tabview.eventFilter"></a>
1425 <h4>Tabview.eventFilter</h4> 1421 <h4>Tabview.eventFilter</h4>
1426 <b>eventFilter</b>(<i>watched, event</i>) 1422 <b>eventFilter</b>(<i>watched, event</i>)
1427
1428 <p> 1423 <p>
1429 Public method called to filter the event queue. 1424 Public method called to filter the event queue.
1430 </p> 1425 </p>
1426
1431 <dl> 1427 <dl>
1432 1428
1433 <dt><i>watched</i> (QObject)</dt> 1429 <dt><i>watched</i> (QObject)</dt>
1434 <dd> 1430 <dd>
1435 the QObject being watched 1431 the QObject being watched
1452 </dd> 1448 </dd>
1453 </dl> 1449 </dl>
1454 <a NAME="Tabview.getOpenEditorsForSession" ID="Tabview.getOpenEditorsForSession"></a> 1450 <a NAME="Tabview.getOpenEditorsForSession" ID="Tabview.getOpenEditorsForSession"></a>
1455 <h4>Tabview.getOpenEditorsForSession</h4> 1451 <h4>Tabview.getOpenEditorsForSession</h4>
1456 <b>getOpenEditorsForSession</b>(<i></i>) 1452 <b>getOpenEditorsForSession</b>(<i></i>)
1457
1458 <p> 1453 <p>
1459 Public method to get a lists of all open editors. 1454 Public method to get a lists of all open editors.
1460 </p> 1455 </p>
1461 <p> 1456 <p>
1462 The returned list contains one list per split view. If the view manager 1457 The returned list contains one list per split view. If the view manager
1463 cannot split the view, only one list of editors is returned. 1458 cannot split the view, only one list of editors is returned.
1464 </p> 1459 </p>
1460
1465 <dl> 1461 <dl>
1466 <dt>Return:</dt> 1462 <dt>Return:</dt>
1467 <dd> 1463 <dd>
1468 list of list of editor references 1464 list of list of editor references
1469 </dd> 1465 </dd>
1475 </dd> 1471 </dd>
1476 </dl> 1472 </dl>
1477 <a NAME="Tabview.getSplitOrientation" ID="Tabview.getSplitOrientation"></a> 1473 <a NAME="Tabview.getSplitOrientation" ID="Tabview.getSplitOrientation"></a>
1478 <h4>Tabview.getSplitOrientation</h4> 1474 <h4>Tabview.getSplitOrientation</h4>
1479 <b>getSplitOrientation</b>(<i></i>) 1475 <b>getSplitOrientation</b>(<i></i>)
1480
1481 <p> 1476 <p>
1482 Public method to get the orientation of the split view. 1477 Public method to get the orientation of the split view.
1483 </p> 1478 </p>
1479
1484 <dl> 1480 <dl>
1485 <dt>Return:</dt> 1481 <dt>Return:</dt>
1486 <dd> 1482 <dd>
1487 orientation of the split 1483 orientation of the split
1488 </dd> 1484 </dd>
1494 </dd> 1490 </dd>
1495 </dl> 1491 </dl>
1496 <a NAME="Tabview.getTabWidgetById" ID="Tabview.getTabWidgetById"></a> 1492 <a NAME="Tabview.getTabWidgetById" ID="Tabview.getTabWidgetById"></a>
1497 <h4>Tabview.getTabWidgetById</h4> 1493 <h4>Tabview.getTabWidgetById</h4>
1498 <b>getTabWidgetById</b>(<i>id_</i>) 1494 <b>getTabWidgetById</b>(<i>id_</i>)
1499
1500 <p> 1495 <p>
1501 Public method to get a reference to a tab widget knowing its ID. 1496 Public method to get a reference to a tab widget knowing its ID.
1502 </p> 1497 </p>
1498
1503 <dl> 1499 <dl>
1504 1500
1505 <dt><i>id_</i> (int)</dt> 1501 <dt><i>id_</i> (int)</dt>
1506 <dd> 1502 <dd>
1507 id of the tab widget 1503 id of the tab widget
1520 </dd> 1516 </dd>
1521 </dl> 1517 </dl>
1522 <a NAME="Tabview.insertView" ID="Tabview.insertView"></a> 1518 <a NAME="Tabview.insertView" ID="Tabview.insertView"></a>
1523 <h4>Tabview.insertView</h4> 1519 <h4>Tabview.insertView</h4>
1524 <b>insertView</b>(<i>win, tabWidget, index, fn=None, noName=""</i>) 1520 <b>insertView</b>(<i>win, tabWidget, index, fn=None, noName=""</i>)
1525
1526 <p> 1521 <p>
1527 Public method to add a view (i.e. window). 1522 Public method to add a view (i.e. window).
1528 </p> 1523 </p>
1524
1529 <dl> 1525 <dl>
1530 1526
1531 <dt><i>win</i> (EditorAssembly)</dt> 1527 <dt><i>win</i> (EditorAssembly)</dt>
1532 <dd> 1528 <dd>
1533 editor assembly to be inserted 1529 editor assembly to be inserted
1550 </dd> 1546 </dd>
1551 </dl> 1547 </dl>
1552 <a NAME="Tabview.mainWidget" ID="Tabview.mainWidget"></a> 1548 <a NAME="Tabview.mainWidget" ID="Tabview.mainWidget"></a>
1553 <h4>Tabview.mainWidget</h4> 1549 <h4>Tabview.mainWidget</h4>
1554 <b>mainWidget</b>(<i></i>) 1550 <b>mainWidget</b>(<i></i>)
1555
1556 <p> 1551 <p>
1557 Public method to return a reference to the main Widget of a 1552 Public method to return a reference to the main Widget of a
1558 specific view manager subclass. 1553 specific view manager subclass.
1559 </p> 1554 </p>
1555
1560 <dl> 1556 <dl>
1561 <dt>Return:</dt> 1557 <dt>Return:</dt>
1562 <dd> 1558 <dd>
1563 reference to the main widget 1559 reference to the main widget
1564 </dd> 1560 </dd>
1570 </dd> 1566 </dd>
1571 </dl> 1567 </dl>
1572 <a NAME="Tabview.nextSplit" ID="Tabview.nextSplit"></a> 1568 <a NAME="Tabview.nextSplit" ID="Tabview.nextSplit"></a>
1573 <h4>Tabview.nextSplit</h4> 1569 <h4>Tabview.nextSplit</h4>
1574 <b>nextSplit</b>(<i></i>) 1570 <b>nextSplit</b>(<i></i>)
1575
1576 <p> 1571 <p>
1577 Public slot used to move to the next split. 1572 Public slot used to move to the next split.
1578 </p> 1573 </p>
1574
1579 <a NAME="Tabview.preferencesChanged" ID="Tabview.preferencesChanged"></a> 1575 <a NAME="Tabview.preferencesChanged" ID="Tabview.preferencesChanged"></a>
1580 <h4>Tabview.preferencesChanged</h4> 1576 <h4>Tabview.preferencesChanged</h4>
1581 <b>preferencesChanged</b>(<i></i>) 1577 <b>preferencesChanged</b>(<i></i>)
1582
1583 <p> 1578 <p>
1584 Public slot to handle the preferencesChanged signal. 1579 Public slot to handle the preferencesChanged signal.
1585 </p> 1580 </p>
1581
1586 <a NAME="Tabview.prevSplit" ID="Tabview.prevSplit"></a> 1582 <a NAME="Tabview.prevSplit" ID="Tabview.prevSplit"></a>
1587 <h4>Tabview.prevSplit</h4> 1583 <h4>Tabview.prevSplit</h4>
1588 <b>prevSplit</b>(<i></i>) 1584 <b>prevSplit</b>(<i></i>)
1589
1590 <p> 1585 <p>
1591 Public slot used to move to the previous split. 1586 Public slot used to move to the previous split.
1592 </p> 1587 </p>
1588
1593 <a NAME="Tabview.removeSplit" ID="Tabview.removeSplit"></a> 1589 <a NAME="Tabview.removeSplit" ID="Tabview.removeSplit"></a>
1594 <h4>Tabview.removeSplit</h4> 1590 <h4>Tabview.removeSplit</h4>
1595 <b>removeSplit</b>(<i>index=-1</i>) 1591 <b>removeSplit</b>(<i>index=-1</i>)
1596
1597 <p> 1592 <p>
1598 Public method used to remove the current split view or a split view 1593 Public method used to remove the current split view or a split view
1599 by index. 1594 by index.
1600 </p> 1595 </p>
1596
1601 <dl> 1597 <dl>
1602 1598
1603 <dt><i>index</i> (int)</dt> 1599 <dt><i>index</i> (int)</dt>
1604 <dd> 1600 <dd>
1605 index of the split to be removed (-1 means to 1601 index of the split to be removed (-1 means to
1619 </dd> 1615 </dd>
1620 </dl> 1616 </dl>
1621 <a NAME="Tabview.setEditorName" ID="Tabview.setEditorName"></a> 1617 <a NAME="Tabview.setEditorName" ID="Tabview.setEditorName"></a>
1622 <h4>Tabview.setEditorName</h4> 1618 <h4>Tabview.setEditorName</h4>
1623 <b>setEditorName</b>(<i>editor, newName</i>) 1619 <b>setEditorName</b>(<i>editor, newName</i>)
1624
1625 <p> 1620 <p>
1626 Public method to change the displayed name of the editor. 1621 Public method to change the displayed name of the editor.
1627 </p> 1622 </p>
1623
1628 <dl> 1624 <dl>
1629 1625
1630 <dt><i>editor</i> (Editor)</dt> 1626 <dt><i>editor</i> (Editor)</dt>
1631 <dd> 1627 <dd>
1632 editor window to be changed 1628 editor window to be changed
1637 </dd> 1633 </dd>
1638 </dl> 1634 </dl>
1639 <a NAME="Tabview.setSplitCount" ID="Tabview.setSplitCount"></a> 1635 <a NAME="Tabview.setSplitCount" ID="Tabview.setSplitCount"></a>
1640 <h4>Tabview.setSplitCount</h4> 1636 <h4>Tabview.setSplitCount</h4>
1641 <b>setSplitCount</b>(<i>count</i>) 1637 <b>setSplitCount</b>(<i>count</i>)
1642
1643 <p> 1638 <p>
1644 Public method to set the number of split views. 1639 Public method to set the number of split views.
1645 </p> 1640 </p>
1641
1646 <dl> 1642 <dl>
1647 1643
1648 <dt><i>count</i> (int)</dt> 1644 <dt><i>count</i> (int)</dt>
1649 <dd> 1645 <dd>
1650 number of split views 1646 number of split views
1651 </dd> 1647 </dd>
1652 </dl> 1648 </dl>
1653 <a NAME="Tabview.setSplitOrientation" ID="Tabview.setSplitOrientation"></a> 1649 <a NAME="Tabview.setSplitOrientation" ID="Tabview.setSplitOrientation"></a>
1654 <h4>Tabview.setSplitOrientation</h4> 1650 <h4>Tabview.setSplitOrientation</h4>
1655 <b>setSplitOrientation</b>(<i>orientation</i>) 1651 <b>setSplitOrientation</b>(<i>orientation</i>)
1656
1657 <p> 1652 <p>
1658 Public method used to set the orientation of the split view. 1653 Public method used to set the orientation of the split view.
1659 </p> 1654 </p>
1655
1660 <dl> 1656 <dl>
1661 1657
1662 <dt><i>orientation</i> (Qt.Orientation.Horizontal or Qt.Orientation.Vertical)</dt> 1658 <dt><i>orientation</i> (Qt.Orientation.Horizontal or Qt.Orientation.Vertical)</dt>
1663 <dd> 1659 <dd>
1664 orientation of the split 1660 orientation of the split
1665 </dd> 1661 </dd>
1666 </dl> 1662 </dl>
1667 <a NAME="Tabview.showWindowMenu" ID="Tabview.showWindowMenu"></a> 1663 <a NAME="Tabview.showWindowMenu" ID="Tabview.showWindowMenu"></a>
1668 <h4>Tabview.showWindowMenu</h4> 1664 <h4>Tabview.showWindowMenu</h4>
1669 <b>showWindowMenu</b>(<i>windowMenu</i>) 1665 <b>showWindowMenu</b>(<i>windowMenu</i>)
1670
1671 <p> 1666 <p>
1672 Public method to set up the viewmanager part of the Window menu. 1667 Public method to set up the viewmanager part of the Window menu.
1673 </p> 1668 </p>
1669
1674 <dl> 1670 <dl>
1675 1671
1676 <dt><i>windowMenu</i> (QMenu)</dt> 1672 <dt><i>windowMenu</i> (QMenu)</dt>
1677 <dd> 1673 <dd>
1678 reference to the window menu 1674 reference to the window menu
1679 </dd> 1675 </dd>
1680 </dl> 1676 </dl>
1681 <a NAME="Tabview.splitCount" ID="Tabview.splitCount"></a> 1677 <a NAME="Tabview.splitCount" ID="Tabview.splitCount"></a>
1682 <h4>Tabview.splitCount</h4> 1678 <h4>Tabview.splitCount</h4>
1683 <b>splitCount</b>(<i></i>) 1679 <b>splitCount</b>(<i></i>)
1684
1685 <p> 1680 <p>
1686 Public method to get the number of splitted views. 1681 Public method to get the number of splitted views.
1687 </p> 1682 </p>
1683
1688 <dl> 1684 <dl>
1689 <dt>Return:</dt> 1685 <dt>Return:</dt>
1690 <dd> 1686 <dd>
1691 number of splitted views 1687 number of splitted views
1692 </dd> 1688 </dd>
1698 </dd> 1694 </dd>
1699 </dl> 1695 </dl>
1700 <a NAME="Tabview.tile" ID="Tabview.tile"></a> 1696 <a NAME="Tabview.tile" ID="Tabview.tile"></a>
1701 <h4>Tabview.tile</h4> 1697 <h4>Tabview.tile</h4>
1702 <b>tile</b>(<i></i>) 1698 <b>tile</b>(<i></i>)
1703
1704 <p> 1699 <p>
1705 Public method to tile the managed windows. 1700 Public method to tile the managed windows.
1706 </p> 1701 </p>
1702
1707 <div align="right"><a href="#top">Up</a></div> 1703 <div align="right"><a href="#top">Up</a></div>
1708 <hr /> 1704 <hr />
1709 </body></html> 1705 </body></html>

Mercurial Repository: eric

eric ide

mercurial