Margins Plugin Bug

[Jasper Huijsmans]

On Wed, 26 Mar 2003 00:36:51 -0800 (PST)
Serdar Ozler <sozler82 at yahoo.com> wrote:

> Hi,
> 
> I think that there is a bug in the "Workspace margins"
> plugin. Sometimes, it does not apply the new values.
> That is, open the margins configuration dialog, enter
> a new value by using ONLY the keyboard, and then close
> the dialog. You will see that it is not applied. After
> entering the value, try pressing the enter key, and
> then close the dialog. It is still not applied. After
> entering the value, click the up arrow, click the down
> arrow (to return back to the original value), and then
> close it. Now, it is working...
> 

Yeah, this is a gtk bug. Spinbuttons don't update their value properly
when using the keyboard. Nothing we can do about it, I'm afraid. I
didn't check if the gtk people know about it, though (yeah, I'm lazy).

	Jasper