krona: I think the description for Ubuntu bug #1 (
https://bugs.launchpad.net/ubuntu/+bug/1 ), under "What should happen"
point #3 is relevant to this bug.

-- 
Resizing windows by grabbing window borders is difficult [please no more 
comments; patches welcome]
https://bugs.launchpad.net/bugs/160311
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to