1868 <dd> |
1868 <dd> |
1869 zoom value to be set (integer) |
1869 zoom value to be set (integer) |
1870 </dd> |
1870 </dd> |
1871 </dl><a NAME="ViewManager._addView" ID="ViewManager._addView"></a> |
1871 </dl><a NAME="ViewManager._addView" ID="ViewManager._addView"></a> |
1872 <h4>ViewManager._addView</h4> |
1872 <h4>ViewManager._addView</h4> |
1873 <b>_addView</b>(<i>win, fn=None, noName=""</i>) |
1873 <b>_addView</b>(<i>win, fn=None, noName="", next=False</i>) |
1874 <p> |
1874 <p> |
1875 Protected method to add a view (i.e. window). |
1875 Protected method to add a view (i.e. window). |
1876 </p><dl> |
1876 </p><dl> |
1877 <dt><i>win</i></dt> |
1877 <dt><i>win</i></dt> |
1878 <dd> |
1878 <dd> |
2329 <dd> |
2333 <dd> |
2330 filename of active window (string) |
2334 filename of active window (string) |
2331 </dd> |
2335 </dd> |
2332 </dl><a NAME="ViewManager.getEditor" ID="ViewManager.getEditor"></a> |
2336 </dl><a NAME="ViewManager.getEditor" ID="ViewManager.getEditor"></a> |
2333 <h4>ViewManager.getEditor</h4> |
2337 <h4>ViewManager.getEditor</h4> |
2334 <b>getEditor</b>(<i>fn, filetype=""</i>) |
2338 <b>getEditor</b>(<i>fn, filetype="", next=False</i>) |
2335 <p> |
2339 <p> |
2336 Public method to return the editor displaying the given file. |
2340 Public method to return the editor displaying the given file. |
2337 </p><p> |
2341 </p><p> |
2338 If there is no editor with the given file, a new editor window is |
2342 If there is no editor with the given file, a new editor window is |
2339 created. |
2343 created. |
2342 <dd> |
2346 <dd> |
2343 filename to look for |
2347 filename to look for |
2344 </dd><dt><i>filetype</i></dt> |
2348 </dd><dt><i>filetype</i></dt> |
2345 <dd> |
2349 <dd> |
2346 type of the source file (string) |
2350 type of the source file (string) |
|
2351 </dd><dt><i>next</i></dt> |
|
2352 <dd> |
|
2353 flag indicating that if a new editor needs to be created, |
|
2354 it should be added next to the current editor (bool) |
2347 </dd> |
2355 </dd> |
2348 </dl><dl> |
2356 </dl><dl> |
2349 <dt>Returns:</dt> |
2357 <dt>Returns:</dt> |
2350 <dd> |
2358 <dd> |
2351 tuple of two values giving a flag indicating a new window |
2359 tuple of two values giving a flag indicating a new window |
2680 <dd> |
2688 <dd> |
2681 name of file to be opened (string) |
2689 name of file to be opened (string) |
2682 </dd> |
2690 </dd> |
2683 </dl><a NAME="ViewManager.openSourceFile" ID="ViewManager.openSourceFile"></a> |
2691 </dl><a NAME="ViewManager.openSourceFile" ID="ViewManager.openSourceFile"></a> |
2684 <h4>ViewManager.openSourceFile</h4> |
2692 <h4>ViewManager.openSourceFile</h4> |
2685 <b>openSourceFile</b>(<i>fn, lineno=-1, filetype="", selStart=0, selEnd=0, pos=0</i>) |
2693 <b>openSourceFile</b>(<i>fn, lineno=-1, filetype="", selStart=0, selEnd=0, pos=0, next=False</i>) |
2686 <p> |
2694 <p> |
2687 Public slot to display a file in an editor. |
2695 Public slot to display a file in an editor. |
2688 </p><dl> |
2696 </p><dl> |
2689 <dt><i>fn</i></dt> |
2697 <dt><i>fn</i></dt> |
2690 <dd> |
2698 <dd> |
2704 <dd> |
2712 <dd> |
2705 end of an area to be selected (integer) |
2713 end of an area to be selected (integer) |
2706 </dd><dt><i>pos</i></dt> |
2714 </dd><dt><i>pos</i></dt> |
2707 <dd> |
2715 <dd> |
2708 position within the line to place the cursor at (integer) |
2716 position within the line to place the cursor at (integer) |
|
2717 </dd><dt><i>next</i></dt> |
|
2718 <dd> |
|
2719 flag indicating to add the file next to the current |
|
2720 editor (bool) |
2709 </dd> |
2721 </dd> |
2710 </dl><a NAME="ViewManager.preferencesChanged" ID="ViewManager.preferencesChanged"></a> |
2722 </dl><a NAME="ViewManager.preferencesChanged" ID="ViewManager.preferencesChanged"></a> |
2711 <h4>ViewManager.preferencesChanged</h4> |
2723 <h4>ViewManager.preferencesChanged</h4> |
2712 <b>preferencesChanged</b>(<i></i>) |
2724 <b>preferencesChanged</b>(<i></i>) |
2713 <p> |
2725 <p> |