I see that this is the only solution but that will harm a lot of themes including mine that has created the window border design for one pixel width. The only winners would be the very generic themes that nobody wants to use anymore, imo.
I suspect all the new changes will come in Mutter and Gnome 3.0 so we should not expect much in the upcoming year about fixing this right now. -- Resizing windows by grabbing window borders is difficult https://bugs.launchpad.net/bugs/160311 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to metacity in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
