Re: [Notion-general] Possible window resizing bug

[Arnout E. <no...@bz...>]

On Thu, Nov 10, 2011 at 11:07:07PM +0000, David Given wrote:
> 2. Drag the widget in the bottom-right corner and try to resize the
> window (this is the evil triangular resize widget belonging to the app,
> not the window decoration).
> --> results in something grabbing the mouse and not letting go. Killing
> gedit from the console fixes this.
> 
> I can duplicate this in both framed and floating windows.

I've committed a workaround for this bug: we now tell gnome we'll take care of
the resizing (even though we don't, effectively disabling resizing with the 
little gnome resize widget).


Kind regards,

Arnout