316 <td>Private method to handle the select to brace action.</td> |
316 <td>Private method to handle the select to brace action.</td> |
317 </tr><tr> |
317 </tr><tr> |
318 <td><a href="#ViewManager.__editShowCallTips">__editShowCallTips</a></td> |
318 <td><a href="#ViewManager.__editShowCallTips">__editShowCallTips</a></td> |
319 <td>Private method to handle the calltips action.</td> |
319 <td>Private method to handle the calltips action.</td> |
320 </tr><tr> |
320 </tr><tr> |
|
321 <td><a href="#ViewManager.__editShowCodeInfo">__editShowCodeInfo</a></td> |
|
322 <td>Private method to handle the code info action.</td> |
|
323 </tr><tr> |
321 <td><a href="#ViewManager.__editSmartIndent">__editSmartIndent</a></td> |
324 <td><a href="#ViewManager.__editSmartIndent">__editSmartIndent</a></td> |
322 <td>Private method to handle the smart indent action.</td> |
325 <td>Private method to handle the smart indent action.</td> |
323 </tr><tr> |
326 </tr><tr> |
324 <td><a href="#ViewManager.__editSortSelectedLines">__editSortSelectedLines</a></td> |
327 <td><a href="#ViewManager.__editSortSelectedLines">__editSortSelectedLines</a></td> |
325 <td>Private slot to sort the selected lines.</td> |
328 <td>Private slot to sort the selected lines.</td> |
427 <td>Private method to initialize the spell checking actions.</td> |
430 <td>Private method to initialize the spell checking actions.</td> |
428 </tr><tr> |
431 </tr><tr> |
429 <td><a href="#ViewManager.__initViewActions">__initViewActions</a></td> |
432 <td><a href="#ViewManager.__initViewActions">__initViewActions</a></td> |
430 <td>Private method defining the user interface actions for the view commands.</td> |
433 <td>Private method defining the user interface actions for the view commands.</td> |
431 </tr><tr> |
434 </tr><tr> |
|
435 <td><a href="#ViewManager.__isEditorInfoSupportedEd">__isEditorInfoSupportedEd</a></td> |
|
436 <td>Private method to check, if an editor is supported by the documentation viewer.</td> |
|
437 </tr><tr> |
432 <td><a href="#ViewManager.__lastEditPositionAvailable">__lastEditPositionAvailable</a></td> |
438 <td><a href="#ViewManager.__lastEditPositionAvailable">__lastEditPositionAvailable</a></td> |
433 <td>Private slot to handle the lastEditPositionAvailable signal of an editor.</td> |
439 <td>Private slot to handle the lastEditPositionAvailable signal of an editor.</td> |
434 </tr><tr> |
440 </tr><tr> |
435 <td><a href="#ViewManager.__lastEditorClosed">__lastEditorClosed</a></td> |
441 <td><a href="#ViewManager.__lastEditorClosed">__lastEditorClosed</a></td> |
436 <td>Private slot to handle the lastEditorClosed signal.</td> |
442 <td>Private slot to handle the lastEditorClosed signal.</td> |
823 <td>Public slot to insert a symbol text into the active window.</td> |
829 <td>Public slot to insert a symbol text into the active window.</td> |
824 </tr><tr> |
830 </tr><tr> |
825 <td><a href="#ViewManager.isConnected">isConnected</a></td> |
831 <td><a href="#ViewManager.isConnected">isConnected</a></td> |
826 <td>Public method to check the connection status of the IDE.</td> |
832 <td>Public method to check the connection status of the IDE.</td> |
827 </tr><tr> |
833 </tr><tr> |
|
834 <td><a href="#ViewManager.isEditorInfoSupported">isEditorInfoSupported</a></td> |
|
835 <td>Public method to check, if a language is supported by the documentation viewer.</td> |
|
836 </tr><tr> |
828 <td><a href="#ViewManager.mainWidget">mainWidget</a></td> |
837 <td><a href="#ViewManager.mainWidget">mainWidget</a></td> |
829 <td>Public method to return a reference to the main Widget of a specific view manager subclass.</td> |
838 <td>Public method to return a reference to the main Widget of a specific view manager subclass.</td> |
830 </tr><tr> |
839 </tr><tr> |
831 <td><a href="#ViewManager.newEditor">newEditor</a></td> |
840 <td><a href="#ViewManager.newEditor">newEditor</a></td> |
832 <td>Public slot to generate a new empty editor.</td> |
841 <td>Public slot to generate a new empty editor.</td> |
939 <td><a href="#ViewManager.shareEditor">shareEditor</a></td> |
948 <td><a href="#ViewManager.shareEditor">shareEditor</a></td> |
940 <td>Public slot to set the shared status of the current editor.</td> |
949 <td>Public slot to set the shared status of the current editor.</td> |
941 </tr><tr> |
950 </tr><tr> |
942 <td><a href="#ViewManager.showDebugSource">showDebugSource</a></td> |
951 <td><a href="#ViewManager.showDebugSource">showDebugSource</a></td> |
943 <td>Public method to open the given file and highlight the given line in it.</td> |
952 <td>Public method to open the given file and highlight the given line in it.</td> |
|
953 </tr><tr> |
|
954 <td><a href="#ViewManager.showEditorInfo">showEditorInfo</a></td> |
|
955 <td>Public method to show some information for a given editor.</td> |
944 </tr><tr> |
956 </tr><tr> |
945 <td><a href="#ViewManager.showReplaceWidget">showReplaceWidget</a></td> |
957 <td><a href="#ViewManager.showReplaceWidget">showReplaceWidget</a></td> |
946 <td>Public method to show the replace widget.</td> |
958 <td>Public method to show the replace widget.</td> |
947 </tr><tr> |
959 </tr><tr> |
948 <td><a href="#ViewManager.showSearchWidget">showSearchWidget</a></td> |
960 <td><a href="#ViewManager.showSearchWidget">showSearchWidget</a></td> |
1198 </p><a NAME="ViewManager.__editShowCallTips" ID="ViewManager.__editShowCallTips"></a> |
1210 </p><a NAME="ViewManager.__editShowCallTips" ID="ViewManager.__editShowCallTips"></a> |
1199 <h4>ViewManager.__editShowCallTips</h4> |
1211 <h4>ViewManager.__editShowCallTips</h4> |
1200 <b>__editShowCallTips</b>(<i></i>) |
1212 <b>__editShowCallTips</b>(<i></i>) |
1201 <p> |
1213 <p> |
1202 Private method to handle the calltips action. |
1214 Private method to handle the calltips action. |
|
1215 </p><a NAME="ViewManager.__editShowCodeInfo" ID="ViewManager.__editShowCodeInfo"></a> |
|
1216 <h4>ViewManager.__editShowCodeInfo</h4> |
|
1217 <b>__editShowCodeInfo</b>(<i></i>) |
|
1218 <p> |
|
1219 Private method to handle the code info action. |
1203 </p><a NAME="ViewManager.__editSmartIndent" ID="ViewManager.__editSmartIndent"></a> |
1220 </p><a NAME="ViewManager.__editSmartIndent" ID="ViewManager.__editSmartIndent"></a> |
1204 <h4>ViewManager.__editSmartIndent</h4> |
1221 <h4>ViewManager.__editSmartIndent</h4> |
1205 <b>__editSmartIndent</b>(<i></i>) |
1222 <b>__editSmartIndent</b>(<i></i>) |
1206 <p> |
1223 <p> |
1207 Private method to handle the smart indent action. |
1224 Private method to handle the smart indent action. |
1441 <h4>ViewManager.__initViewActions</h4> |
1458 <h4>ViewManager.__initViewActions</h4> |
1442 <b>__initViewActions</b>(<i></i>) |
1459 <b>__initViewActions</b>(<i></i>) |
1443 <p> |
1460 <p> |
1444 Private method defining the user interface actions for the view |
1461 Private method defining the user interface actions for the view |
1445 commands. |
1462 commands. |
1446 </p><a NAME="ViewManager.__lastEditPositionAvailable" ID="ViewManager.__lastEditPositionAvailable"></a> |
1463 </p><a NAME="ViewManager.__isEditorInfoSupportedEd" ID="ViewManager.__isEditorInfoSupportedEd"></a> |
|
1464 <h4>ViewManager.__isEditorInfoSupportedEd</h4> |
|
1465 <b>__isEditorInfoSupportedEd</b>(<i>editor</i>) |
|
1466 <p> |
|
1467 Private method to check, if an editor is supported by the |
|
1468 documentation viewer. |
|
1469 </p><dl> |
|
1470 <dt><i>editor</i> (Editor)</dt> |
|
1471 <dd> |
|
1472 reference to the editor to check for |
|
1473 </dd> |
|
1474 </dl><dl> |
|
1475 <dt>Returns:</dt> |
|
1476 <dd> |
|
1477 flag indicating the support status |
|
1478 </dd> |
|
1479 </dl><dl> |
|
1480 <dt>Return Type:</dt> |
|
1481 <dd> |
|
1482 bool |
|
1483 </dd> |
|
1484 </dl><a NAME="ViewManager.__lastEditPositionAvailable" ID="ViewManager.__lastEditPositionAvailable"></a> |
1447 <h4>ViewManager.__lastEditPositionAvailable</h4> |
1485 <h4>ViewManager.__lastEditPositionAvailable</h4> |
1448 <b>__lastEditPositionAvailable</b>(<i></i>) |
1486 <b>__lastEditPositionAvailable</b>(<i></i>) |
1449 <p> |
1487 <p> |
1450 Private slot to handle the lastEditPositionAvailable signal of an |
1488 Private slot to handle the lastEditPositionAvailable signal of an |
1451 editor. |
1489 editor. |
2660 Public method to check the connection status of the IDE. |
2698 Public method to check the connection status of the IDE. |
2661 </p><dl> |
2699 </p><dl> |
2662 <dt>Returns:</dt> |
2700 <dt>Returns:</dt> |
2663 <dd> |
2701 <dd> |
2664 flag indicating the connection status (boolean) |
2702 flag indicating the connection status (boolean) |
|
2703 </dd> |
|
2704 </dl><a NAME="ViewManager.isEditorInfoSupported" ID="ViewManager.isEditorInfoSupported"></a> |
|
2705 <h4>ViewManager.isEditorInfoSupported</h4> |
|
2706 <b>isEditorInfoSupported</b>(<i>language</i>) |
|
2707 <p> |
|
2708 Public method to check, if a language is supported by the |
|
2709 documentation viewer. |
|
2710 </p><dl> |
|
2711 <dt><i>language</i> (str)</dt> |
|
2712 <dd> |
|
2713 editor programming language to check |
|
2714 </dd> |
|
2715 </dl><dl> |
|
2716 <dt>Returns:</dt> |
|
2717 <dd> |
|
2718 flag indicating the support status |
|
2719 </dd> |
|
2720 </dl><dl> |
|
2721 <dt>Return Type:</dt> |
|
2722 <dd> |
|
2723 bool |
2665 </dd> |
2724 </dd> |
2666 </dl><a NAME="ViewManager.mainWidget" ID="ViewManager.mainWidget"></a> |
2725 </dl><a NAME="ViewManager.mainWidget" ID="ViewManager.mainWidget"></a> |
2667 <h4>ViewManager.mainWidget</h4> |
2726 <h4>ViewManager.mainWidget</h4> |
2668 <b>mainWidget</b>(<i></i>) |
2727 <b>mainWidget</b>(<i></i>) |
2669 <p> |
2728 <p> |
3094 filename of editor to update (string) |
3153 filename of editor to update (string) |
3095 </dd><dt><i>line</i></dt> |
3154 </dd><dt><i>line</i></dt> |
3096 <dd> |
3155 <dd> |
3097 line number to highlight (int) |
3156 line number to highlight (int) |
3098 </dd> |
3157 </dd> |
|
3158 </dl><a NAME="ViewManager.showEditorInfo" ID="ViewManager.showEditorInfo"></a> |
|
3159 <h4>ViewManager.showEditorInfo</h4> |
|
3160 <b>showEditorInfo</b>(<i>editor</i>) |
|
3161 <p> |
|
3162 Public method to show some information for a given editor. |
|
3163 </p><dl> |
|
3164 <dt><i>editor</i> (Editor)</dt> |
|
3165 <dd> |
|
3166 editor to show information text for |
|
3167 </dd> |
3099 </dl><a NAME="ViewManager.showReplaceWidget" ID="ViewManager.showReplaceWidget"></a> |
3168 </dl><a NAME="ViewManager.showReplaceWidget" ID="ViewManager.showReplaceWidget"></a> |
3100 <h4>ViewManager.showReplaceWidget</h4> |
3169 <h4>ViewManager.showReplaceWidget</h4> |
3101 <b>showReplaceWidget</b>(<i></i>) |
3170 <b>showReplaceWidget</b>(<i></i>) |
3102 <p> |
3171 <p> |
3103 Public method to show the replace widget. |
3172 Public method to show the replace widget. |