Re: [Notion-general] Possible window resizing bug

[Juri H. <ju...@fa...>]

On 11/10/11 at 11:07pm, David Given wrote:
> Something on my system isn't working right. Since I'm using a custom
> patched notion, can I get someone else to verify this before I file a bug?
> 
> 1. Start gedit.
> 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 can confirm that bug. 

I wondered for weeks why sometimes my mouse
becomes unusable and after a while it starts working again, but
I couldn't reproduce it before you described it here.


Thanks for reporting!
> 
> -- 
> ┌─── ｄｇ＠ｃｏｗｌａｒｋ．ｃｏｍ ───── http://www.cowlark.com ─────
> │
> │ "Under communism, man exploits man. Under capitalism, it's just the
> │ opposite." --- John Kenneth Galbrith
> 



> ------------------------------------------------------------------------------
> RSA(R) Conference 2012
> Save $700 by Nov 18
> Register now
> http://p.sf.net/sfu/rsa-sfdev2dev1

> _______________________________________________
> Notion-general mailing list
> Not...@li...
> https://lists.sourceforge.net/lists/listinfo/notion-general


-- 
Juri Hamburg
GnuPG Key-ID: 0x67206E72