Hello everyone, this happened a while back and during the same day I've got the problem solved by Sebastian Bacher. Seems like we forgot to close this bug report, I'm sorry for that.
>From my point of view, this bug can be closed as Fix Released. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/727947 Title: Window decorations and gnome-terminal resizing madness -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
