I'm just building mutter with two patches from Jasper that should fix the 'shrinking terminal' disease in rawhide. Thanks for your patience, Matthias -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
