472 <td>Private method to handle the next uncovered action.</td> |
472 <td>Private method to handle the next uncovered action.</td> |
473 </tr><tr> |
473 </tr><tr> |
474 <td><a href="#ViewManager.__nextWarning">__nextWarning</a></td> |
474 <td><a href="#ViewManager.__nextWarning">__nextWarning</a></td> |
475 <td>Private method to handle the next warning action.</td> |
475 <td>Private method to handle the next warning action.</td> |
476 </tr><tr> |
476 </tr><tr> |
|
477 <td><a href="#ViewManager.__openFiles">__openFiles</a></td> |
|
478 <td>Private slot to open some files.</td> |
|
479 </tr><tr> |
477 <td><a href="#ViewManager.__openSourceFile">__openSourceFile</a></td> |
480 <td><a href="#ViewManager.__openSourceFile">__openSourceFile</a></td> |
478 <td>Private method to open a file from the list of recently opened files.</td> |
481 <td>Private method to open a file from the list of recently opened files.</td> |
479 </tr><tr> |
482 </tr><tr> |
480 <td><a href="#ViewManager.__previewEditor">__previewEditor</a></td> |
483 <td><a href="#ViewManager.__previewEditor">__previewEditor</a></td> |
481 <td>Private slot to handle a change of the preview selection state.</td> |
484 <td>Private slot to handle a change of the preview selection state.</td> |
568 <td>Private method to handle the show bookmarks menu signal.</td> |
571 <td>Private method to handle the show bookmarks menu signal.</td> |
569 </tr><tr> |
572 </tr><tr> |
570 <td><a href="#ViewManager.__showEditSpellingMenu">__showEditSpellingMenu</a></td> |
573 <td><a href="#ViewManager.__showEditSpellingMenu">__showEditSpellingMenu</a></td> |
571 <td>Private method to set up the edit dictionaries menu.</td> |
574 <td>Private method to set up the edit dictionaries menu.</td> |
572 </tr><tr> |
575 </tr><tr> |
|
576 <td><a href="#ViewManager.__showEncodingsMenu">__showEncodingsMenu</a></td> |
|
577 <td>Private slot to show the Encodings menu of the current editor.</td> |
|
578 </tr><tr> |
|
579 <td><a href="#ViewManager.__showEolMenu">__showEolMenu</a></td> |
|
580 <td>Private slot to show the EOL menu of the current editor.</td> |
|
581 </tr><tr> |
573 <td><a href="#ViewManager.__showFileMenu">__showFileMenu</a></td> |
582 <td><a href="#ViewManager.__showFileMenu">__showFileMenu</a></td> |
574 <td>Private method to set up the file menu.</td> |
583 <td>Private method to set up the file menu.</td> |
575 </tr><tr> |
584 </tr><tr> |
|
585 <td><a href="#ViewManager.__showLanguagesMenu">__showLanguagesMenu</a></td> |
|
586 <td>Private slot to show the Languages menu of the current editor.</td> |
|
587 </tr><tr> |
576 <td><a href="#ViewManager.__showRecentMenu">__showRecentMenu</a></td> |
588 <td><a href="#ViewManager.__showRecentMenu">__showRecentMenu</a></td> |
577 <td>Private method to set up recent files menu.</td> |
589 <td>Private method to set up recent files menu.</td> |
578 </tr><tr> |
590 </tr><tr> |
579 <td><a href="#ViewManager.__spellCheck">__spellCheck</a></td> |
591 <td><a href="#ViewManager.__spellCheck">__spellCheck</a></td> |
580 <td>Private slot to perform a spell check of the current editor.</td> |
592 <td>Private slot to perform a spell check of the current editor.</td> |
598 <td>Private method to handle the toggle bookmark action.</td> |
610 <td>Private method to handle the toggle bookmark action.</td> |
599 </tr><tr> |
611 </tr><tr> |
600 <td><a href="#ViewManager.__toggleCurrent">__toggleCurrent</a></td> |
612 <td><a href="#ViewManager.__toggleCurrent">__toggleCurrent</a></td> |
601 <td>Private method to handle the toggle current fold action.</td> |
613 <td>Private method to handle the toggle current fold action.</td> |
602 </tr><tr> |
614 </tr><tr> |
|
615 <td><a href="#ViewManager.__unhighlight">__unhighlight</a></td> |
|
616 <td>Privat slot to switch of all highlights.</td> |
|
617 </tr><tr> |
603 <td><a href="#ViewManager.__zoom">__zoom</a></td> |
618 <td><a href="#ViewManager.__zoom">__zoom</a></td> |
604 <td>Private method to handle the zoom action.</td> |
619 <td>Private method to handle the zoom action.</td> |
605 </tr><tr> |
620 </tr><tr> |
606 <td><a href="#ViewManager.__zoomIn">__zoomIn</a></td> |
621 <td><a href="#ViewManager.__zoomIn">__zoomIn</a></td> |
607 <td>Private method to handle the zoom in action.</td> |
622 <td>Private method to handle the zoom in action.</td> |
610 <td>Private method to handle the zoom out action.</td> |
625 <td>Private method to handle the zoom out action.</td> |
611 </tr><tr> |
626 </tr><tr> |
612 <td><a href="#ViewManager.__zoomReset">__zoomReset</a></td> |
627 <td><a href="#ViewManager.__zoomReset">__zoomReset</a></td> |
613 <td>Private method to reset the zoom factor.</td> |
628 <td>Private method to reset the zoom factor.</td> |
614 </tr><tr> |
629 </tr><tr> |
|
630 <td><a href="#ViewManager.__zoomTo">__zoomTo</a></td> |
|
631 <td>Private slot to zoom to a given value.</td> |
|
632 </tr><tr> |
615 <td><a href="#ViewManager._addView">_addView</a></td> |
633 <td><a href="#ViewManager._addView">_addView</a></td> |
616 <td>Protected method to add a view (i.e.</td> |
634 <td>Protected method to add a view (i.e.</td> |
617 </tr><tr> |
635 </tr><tr> |
618 <td><a href="#ViewManager._checkActions">_checkActions</a></td> |
636 <td><a href="#ViewManager._checkActions">_checkActions</a></td> |
619 <td>Protected slot to check some actions for their enable/disable status and set the statusbar info.</td> |
637 <td>Protected slot to check some actions for their enable/disable status and set the statusbar info.</td> |
917 </tr><tr> |
935 </tr><tr> |
918 <td><a href="#ViewManager.tile">tile</a></td> |
936 <td><a href="#ViewManager.tile">tile</a></td> |
919 <td>Public method to tile the managed windows.</td> |
937 <td>Public method to tile the managed windows.</td> |
920 </tr><tr> |
938 </tr><tr> |
921 <td><a href="#ViewManager.unhighlight">unhighlight</a></td> |
939 <td><a href="#ViewManager.unhighlight">unhighlight</a></td> |
922 <td>Public method to switch off all highlights.</td> |
940 <td>Public method to switch off all highlights or the highlight of the current editor.</td> |
923 </tr><tr> |
941 </tr><tr> |
924 <td><a href="#ViewManager.zoomValueChanged">zoomValueChanged</a></td> |
942 <td><a href="#ViewManager.zoomValueChanged">zoomValueChanged</a></td> |
925 <td>Public slot to handle changes of the zoom value.</td> |
943 <td>Public slot to handle changes of the zoom value.</td> |
926 </tr> |
944 </tr> |
927 </table> |
945 </table> |
1479 </p><a NAME="ViewManager.__nextWarning" ID="ViewManager.__nextWarning"></a> |
1497 </p><a NAME="ViewManager.__nextWarning" ID="ViewManager.__nextWarning"></a> |
1480 <h4>ViewManager.__nextWarning</h4> |
1498 <h4>ViewManager.__nextWarning</h4> |
1481 <b>__nextWarning</b>(<i></i>) |
1499 <b>__nextWarning</b>(<i></i>) |
1482 <p> |
1500 <p> |
1483 Private method to handle the next warning action. |
1501 Private method to handle the next warning action. |
|
1502 </p><a NAME="ViewManager.__openFiles" ID="ViewManager.__openFiles"></a> |
|
1503 <h4>ViewManager.__openFiles</h4> |
|
1504 <b>__openFiles</b>(<i></i>) |
|
1505 <p> |
|
1506 Private slot to open some files. |
1484 </p><a NAME="ViewManager.__openSourceFile" ID="ViewManager.__openSourceFile"></a> |
1507 </p><a NAME="ViewManager.__openSourceFile" ID="ViewManager.__openSourceFile"></a> |
1485 <h4>ViewManager.__openSourceFile</h4> |
1508 <h4>ViewManager.__openSourceFile</h4> |
1486 <b>__openSourceFile</b>(<i>act</i>) |
1509 <b>__openSourceFile</b>(<i>act</i>) |
1487 <p> |
1510 <p> |
1488 Private method to open a file from the list of recently opened files. |
1511 Private method to open a file from the list of recently opened files. |
1692 </p><a NAME="ViewManager.__showEditSpellingMenu" ID="ViewManager.__showEditSpellingMenu"></a> |
1715 </p><a NAME="ViewManager.__showEditSpellingMenu" ID="ViewManager.__showEditSpellingMenu"></a> |
1693 <h4>ViewManager.__showEditSpellingMenu</h4> |
1716 <h4>ViewManager.__showEditSpellingMenu</h4> |
1694 <b>__showEditSpellingMenu</b>(<i></i>) |
1717 <b>__showEditSpellingMenu</b>(<i></i>) |
1695 <p> |
1718 <p> |
1696 Private method to set up the edit dictionaries menu. |
1719 Private method to set up the edit dictionaries menu. |
1697 </p><a NAME="ViewManager.__showFileMenu" ID="ViewManager.__showFileMenu"></a> |
1720 </p><a NAME="ViewManager.__showEncodingsMenu" ID="ViewManager.__showEncodingsMenu"></a> |
|
1721 <h4>ViewManager.__showEncodingsMenu</h4> |
|
1722 <b>__showEncodingsMenu</b>(<i>pos</i>) |
|
1723 <p> |
|
1724 Private slot to show the Encodings menu of the current editor. |
|
1725 </p><dl> |
|
1726 <dt><i>pos</i></dt> |
|
1727 <dd> |
|
1728 position the menu should be shown at (QPoint) |
|
1729 </dd> |
|
1730 </dl><a NAME="ViewManager.__showEolMenu" ID="ViewManager.__showEolMenu"></a> |
|
1731 <h4>ViewManager.__showEolMenu</h4> |
|
1732 <b>__showEolMenu</b>(<i>pos</i>) |
|
1733 <p> |
|
1734 Private slot to show the EOL menu of the current editor. |
|
1735 </p><dl> |
|
1736 <dt><i>pos</i></dt> |
|
1737 <dd> |
|
1738 position the menu should be shown at (QPoint) |
|
1739 </dd> |
|
1740 </dl><a NAME="ViewManager.__showFileMenu" ID="ViewManager.__showFileMenu"></a> |
1698 <h4>ViewManager.__showFileMenu</h4> |
1741 <h4>ViewManager.__showFileMenu</h4> |
1699 <b>__showFileMenu</b>(<i></i>) |
1742 <b>__showFileMenu</b>(<i></i>) |
1700 <p> |
1743 <p> |
1701 Private method to set up the file menu. |
1744 Private method to set up the file menu. |
1702 </p><a NAME="ViewManager.__showRecentMenu" ID="ViewManager.__showRecentMenu"></a> |
1745 </p><a NAME="ViewManager.__showLanguagesMenu" ID="ViewManager.__showLanguagesMenu"></a> |
|
1746 <h4>ViewManager.__showLanguagesMenu</h4> |
|
1747 <b>__showLanguagesMenu</b>(<i>pos</i>) |
|
1748 <p> |
|
1749 Private slot to show the Languages menu of the current editor. |
|
1750 </p><dl> |
|
1751 <dt><i>pos</i></dt> |
|
1752 <dd> |
|
1753 position the menu should be shown at (QPoint) |
|
1754 </dd> |
|
1755 </dl><a NAME="ViewManager.__showRecentMenu" ID="ViewManager.__showRecentMenu"></a> |
1703 <h4>ViewManager.__showRecentMenu</h4> |
1756 <h4>ViewManager.__showRecentMenu</h4> |
1704 <b>__showRecentMenu</b>(<i></i>) |
1757 <b>__showRecentMenu</b>(<i></i>) |
1705 <p> |
1758 <p> |
1706 Private method to set up recent files menu. |
1759 Private method to set up recent files menu. |
1707 </p><a NAME="ViewManager.__spellCheck" ID="ViewManager.__spellCheck"></a> |
1760 </p><a NAME="ViewManager.__spellCheck" ID="ViewManager.__spellCheck"></a> |
1754 </p><a NAME="ViewManager.__toggleCurrent" ID="ViewManager.__toggleCurrent"></a> |
1807 </p><a NAME="ViewManager.__toggleCurrent" ID="ViewManager.__toggleCurrent"></a> |
1755 <h4>ViewManager.__toggleCurrent</h4> |
1808 <h4>ViewManager.__toggleCurrent</h4> |
1756 <b>__toggleCurrent</b>(<i></i>) |
1809 <b>__toggleCurrent</b>(<i></i>) |
1757 <p> |
1810 <p> |
1758 Private method to handle the toggle current fold action. |
1811 Private method to handle the toggle current fold action. |
|
1812 </p><a NAME="ViewManager.__unhighlight" ID="ViewManager.__unhighlight"></a> |
|
1813 <h4>ViewManager.__unhighlight</h4> |
|
1814 <b>__unhighlight</b>(<i></i>) |
|
1815 <p> |
|
1816 Privat slot to switch of all highlights. |
1759 </p><a NAME="ViewManager.__zoom" ID="ViewManager.__zoom"></a> |
1817 </p><a NAME="ViewManager.__zoom" ID="ViewManager.__zoom"></a> |
1760 <h4>ViewManager.__zoom</h4> |
1818 <h4>ViewManager.__zoom</h4> |
1761 <b>__zoom</b>(<i>value=None</i>) |
1819 <b>__zoom</b>(<i></i>) |
1762 <p> |
1820 <p> |
1763 Private method to handle the zoom action. |
1821 Private method to handle the zoom action. |
1764 </p><dl> |
1822 </p><a NAME="ViewManager.__zoomIn" ID="ViewManager.__zoomIn"></a> |
1765 <dt><i>value=</i></dt> |
|
1766 <dd> |
|
1767 zoom value to be set (integer) |
|
1768 </dd> |
|
1769 </dl><a NAME="ViewManager.__zoomIn" ID="ViewManager.__zoomIn"></a> |
|
1770 <h4>ViewManager.__zoomIn</h4> |
1823 <h4>ViewManager.__zoomIn</h4> |
1771 <b>__zoomIn</b>(<i></i>) |
1824 <b>__zoomIn</b>(<i></i>) |
1772 <p> |
1825 <p> |
1773 Private method to handle the zoom in action. |
1826 Private method to handle the zoom in action. |
1774 </p><a NAME="ViewManager.__zoomOut" ID="ViewManager.__zoomOut"></a> |
1827 </p><a NAME="ViewManager.__zoomOut" ID="ViewManager.__zoomOut"></a> |
1779 </p><a NAME="ViewManager.__zoomReset" ID="ViewManager.__zoomReset"></a> |
1832 </p><a NAME="ViewManager.__zoomReset" ID="ViewManager.__zoomReset"></a> |
1780 <h4>ViewManager.__zoomReset</h4> |
1833 <h4>ViewManager.__zoomReset</h4> |
1781 <b>__zoomReset</b>(<i></i>) |
1834 <b>__zoomReset</b>(<i></i>) |
1782 <p> |
1835 <p> |
1783 Private method to reset the zoom factor. |
1836 Private method to reset the zoom factor. |
1784 </p><a NAME="ViewManager._addView" ID="ViewManager._addView"></a> |
1837 </p><a NAME="ViewManager.__zoomTo" ID="ViewManager.__zoomTo"></a> |
|
1838 <h4>ViewManager.__zoomTo</h4> |
|
1839 <b>__zoomTo</b>(<i>value</i>) |
|
1840 <p> |
|
1841 Private slot to zoom to a given value. |
|
1842 </p><dl> |
|
1843 <dt><i>value</i></dt> |
|
1844 <dd> |
|
1845 zoom value to be set (integer) |
|
1846 </dd> |
|
1847 </dl><a NAME="ViewManager._addView" ID="ViewManager._addView"></a> |
1785 <h4>ViewManager._addView</h4> |
1848 <h4>ViewManager._addView</h4> |
1786 <b>_addView</b>(<i>win, fn=None, noName=""</i>) |
1849 <b>_addView</b>(<i>win, fn=None, noName=""</i>) |
1787 <p> |
1850 <p> |
1788 Protected method to add a view (i.e. window). |
1851 Protected method to add a view (i.e. window). |
1789 </p><dl> |
1852 </p><dl> |
2583 <b>nextSplit</b>(<i></i>) |
2646 <b>nextSplit</b>(<i></i>) |
2584 <p> |
2647 <p> |
2585 Public slot used to move to the next split. |
2648 Public slot used to move to the next split. |
2586 </p><a NAME="ViewManager.openFiles" ID="ViewManager.openFiles"></a> |
2649 </p><a NAME="ViewManager.openFiles" ID="ViewManager.openFiles"></a> |
2587 <h4>ViewManager.openFiles</h4> |
2650 <h4>ViewManager.openFiles</h4> |
2588 <b>openFiles</b>(<i>prog=None</i>) |
2651 <b>openFiles</b>(<i>prog</i>) |
2589 <p> |
2652 <p> |
2590 Public slot to open some files. |
2653 Public slot to open some files. |
2591 </p><dl> |
2654 </p><dl> |
2592 <dt><i>prog</i></dt> |
2655 <dt><i>prog</i></dt> |
2593 <dd> |
2656 <dd> |
3005 </dd> |
3068 </dd> |
3006 </dl><a NAME="ViewManager.unhighlight" ID="ViewManager.unhighlight"></a> |
3069 </dl><a NAME="ViewManager.unhighlight" ID="ViewManager.unhighlight"></a> |
3007 <h4>ViewManager.unhighlight</h4> |
3070 <h4>ViewManager.unhighlight</h4> |
3008 <b>unhighlight</b>(<i>current=False</i>) |
3071 <b>unhighlight</b>(<i>current=False</i>) |
3009 <p> |
3072 <p> |
3010 Public method to switch off all highlights. |
3073 Public method to switch off all highlights or the highlight of |
|
3074 the current editor. |
3011 </p><dl> |
3075 </p><dl> |
3012 <dt><i>current</i></dt> |
3076 <dt><i>current</i></dt> |
3013 <dd> |
3077 <dd> |
3014 flag indicating only the current editor should be |
3078 flag indicating only the current editor should be |
3015 unhighlighted (boolean) |
3079 unhighlighted (boolean) |