--- a/Documentation/Source/eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.html Mon Oct 03 16:08:32 2011 +0200 +++ b/Documentation/Source/eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.html Mon Oct 03 18:52:38 2011 +0200 @@ -257,6 +257,9 @@ <td><a href="#TabWidget.hasEditors">hasEditors</a></td> <td>Public method to test, if any editor is managed.</td> </tr><tr> +<td><a href="#TabWidget.indexOf">indexOf</a></td> +<td>Public method to get the tab index of the given editor.</td> +</tr><tr> <td><a href="#TabWidget.insertWidget">insertWidget</a></td> <td>Overwritten method to insert a new tab.</td> </tr><tr> @@ -269,6 +272,9 @@ <td><a href="#TabWidget.removeWidget">removeWidget</a></td> <td>Public method to remove a widget.</td> </tr><tr> +<td><a href="#TabWidget.setCurrentWidget">setCurrentWidget</a></td> +<td>Public method to set the current tab by the given editor.</td> +</tr><tr> <td><a href="#TabWidget.showIndicator">showIndicator</a></td> <td>Public slot to set the indicator on or off.</td> </tr> @@ -465,7 +471,7 @@ </p><dl> <dt>Returns:</dt> <dd> -reference to the current page (QWidget) +reference to the current page (Editor) </dd> </dl><a NAME="TabWidget.hasEditor" ID="TabWidget.hasEditor"></a> <h4>TabWidget.hasEditor</h4> @@ -493,6 +499,21 @@ <dd> flag indicating editors are managed </dd> +</dl><a NAME="TabWidget.indexOf" ID="TabWidget.indexOf"></a> +<h4>TabWidget.indexOf</h4> +<b>indexOf</b>(<i>object</i>) +<p> + Public method to get the tab index of the given editor. +</p><dl> +<dt><i>object</i></dt> +<dd> +object to get the index for (QLabel or Editor) +</dd> +</dl><dl> +<dt>Returns:</dt> +<dd> +tab index of the editor (integer) +</dd> </dl><a NAME="TabWidget.insertWidget" ID="TabWidget.insertWidget"></a> <h4>TabWidget.insertWidget</h4> <b>insertWidget</b>(<i>index, editor, title</i>) @@ -550,6 +571,16 @@ <dd> object to be removed (QWidget) </dd> +</dl><a NAME="TabWidget.setCurrentWidget" ID="TabWidget.setCurrentWidget"></a> +<h4>TabWidget.setCurrentWidget</h4> +<b>setCurrentWidget</b>(<i>editor</i>) +<p> + Public method to set the current tab by the given editor. +</p><dl> +<dt><i>editor</i></dt> +<dd> +editor to determine current tab from (Editor) +</dd> </dl><a NAME="TabWidget.showIndicator" ID="TabWidget.showIndicator"></a> <h4>TabWidget.showIndicator</h4> <b>showIndicator</b>(<i>on</i>)