Interesting. Someone found a memory problem in just this exact piece of code just this evening, so I wonder whether now there's a patch in trunk this will be fixed. It will be in the next 2.23.* upstream release tomorrow.
-- Vertical maximisation causes windows to swap heads https://bugs.launchpad.net/bugs/258977 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
