826 <td>Public slot to insert a symbol text into the active window.</td> |
826 <td>Public slot to insert a symbol text into the active window.</td> |
827 </tr><tr> |
827 </tr><tr> |
828 <td><a href="#ViewManager.isConnected">isConnected</a></td> |
828 <td><a href="#ViewManager.isConnected">isConnected</a></td> |
829 <td>Public method to check the connection status of the IDE.</td> |
829 <td>Public method to check the connection status of the IDE.</td> |
830 </tr><tr> |
830 </tr><tr> |
|
831 <td><a href="#ViewManager.mainWidget">mainWidget</a></td> |
|
832 <td>Public method to return a reference to the main Widget of a specific view manager subclass.</td> |
|
833 </tr><tr> |
831 <td><a href="#ViewManager.newEditor">newEditor</a></td> |
834 <td><a href="#ViewManager.newEditor">newEditor</a></td> |
832 <td>Public slot to generate a new empty editor.</td> |
835 <td>Public slot to generate a new empty editor.</td> |
833 </tr><tr> |
836 </tr><tr> |
834 <td><a href="#ViewManager.newEditorView">newEditorView</a></td> |
837 <td><a href="#ViewManager.newEditorView">newEditorView</a></td> |
835 <td>Public method to create a new editor displaying the given document.</td> |
838 <td>Public method to create a new editor displaying the given document.</td> |
2655 Public method to check the connection status of the IDE. |
2658 Public method to check the connection status of the IDE. |
2656 </p><dl> |
2659 </p><dl> |
2657 <dt>Returns:</dt> |
2660 <dt>Returns:</dt> |
2658 <dd> |
2661 <dd> |
2659 flag indicating the connection status (boolean) |
2662 flag indicating the connection status (boolean) |
|
2663 </dd> |
|
2664 </dl><a NAME="ViewManager.mainWidget" ID="ViewManager.mainWidget"></a> |
|
2665 <h4>ViewManager.mainWidget</h4> |
|
2666 <b>mainWidget</b>(<i></i>) |
|
2667 <p> |
|
2668 Public method to return a reference to the main Widget of a |
|
2669 specific view manager subclass. |
|
2670 </p><dl> |
|
2671 <dt>Returns:</dt> |
|
2672 <dd> |
|
2673 reference to the main widget |
|
2674 </dd> |
|
2675 </dl><dl> |
|
2676 <dt>Return Type:</dt> |
|
2677 <dd> |
|
2678 QWidget |
|
2679 </dd> |
|
2680 </dl><dl> |
|
2681 <dt>Raises <b>RuntimeError</b>:</dt> |
|
2682 <dd> |
|
2683 Not implemented |
2660 </dd> |
2684 </dd> |
2661 </dl><a NAME="ViewManager.newEditor" ID="ViewManager.newEditor"></a> |
2685 </dl><a NAME="ViewManager.newEditor" ID="ViewManager.newEditor"></a> |
2662 <h4>ViewManager.newEditor</h4> |
2686 <h4>ViewManager.newEditor</h4> |
2663 <b>newEditor</b>(<i></i>) |
2687 <b>newEditor</b>(<i></i>) |
2664 <p> |
2688 <p> |