Thu, 06 Jan 2011 19:46:18 +0100
Fixed an issue in the sidebar widget causing splitter size not being saved when moved.
--- a/Documentation/Help/source.qhp Thu Jan 06 19:45:21 2011 +0100 +++ b/Documentation/Help/source.qhp Thu Jan 06 19:46:18 2011 +0100 @@ -4245,6 +4245,7 @@ <keyword name="E5SideBar (Constructor)" id="E5SideBar (Constructor)" ref="eric5.E5Gui.E5SideBar.html#E5SideBar.__init__" /> <keyword name="E5SideBar.__appFocusChanged" id="E5SideBar.__appFocusChanged" ref="eric5.E5Gui.E5SideBar.html#E5SideBar.__appFocusChanged" /> <keyword name="E5SideBar.__autoHideToggled" id="E5SideBar.__autoHideToggled" ref="eric5.E5Gui.E5SideBar.html#E5SideBar.__autoHideToggled" /> + <keyword name="E5SideBar.__splitterMoved" id="E5SideBar.__splitterMoved" ref="eric5.E5Gui.E5SideBar.html#E5SideBar.__splitterMoved" /> <keyword name="E5SideBar.addTab" id="E5SideBar.addTab" ref="eric5.E5Gui.E5SideBar.html#E5SideBar.addTab" /> <keyword name="E5SideBar.clear" id="E5SideBar.clear" ref="eric5.E5Gui.E5SideBar.html#E5SideBar.clear" /> <keyword name="E5SideBar.count" id="E5SideBar.count" ref="eric5.E5Gui.E5SideBar.html#E5SideBar.count" />
--- a/Documentation/Source/eric5.E5Gui.E5SideBar.html Thu Jan 06 19:45:21 2011 +0100 +++ b/Documentation/Source/eric5.E5Gui.E5SideBar.html Thu Jan 06 19:46:18 2011 +0100 @@ -64,6 +64,9 @@ <td><a href="#E5SideBar.__autoHideToggled">__autoHideToggled</a></td> <td>Private slot to handle the toggling of the autohide button.</td> </tr><tr> +<td><a href="#E5SideBar.__splitterMoved">__splitterMoved</a></td> +<td>Private slot to react on splitter moves.</td> +</tr><tr> <td><a href="#E5SideBar.addTab">addTab</a></td> <td>Public method to add a tab to the sidebar.</td> </tr><tr> @@ -206,6 +209,19 @@ <dd> flag indicating the checked state of the button (boolean) </dd> +</dl><a NAME="E5SideBar.__splitterMoved" ID="E5SideBar.__splitterMoved"></a> +<h4>E5SideBar.__splitterMoved</h4> +<b>__splitterMoved</b>(<i>pos, index</i>) +<p> + Private slot to react on splitter moves. +</p><dl> +<dt><i>pos</i></dt> +<dd> +new position of the splitter handle (integer) +</dd><dt><i>index</i></dt> +<dd> +index of the splitter handle (integer) +</dd> </dl><a NAME="E5SideBar.addTab" ID="E5SideBar.addTab"></a> <h4>E5SideBar.addTab</h4> <b>addTab</b>(<i>widget, iconOrLabel, label = None</i>)