Hi Roland! I am unable to reproduce the bug. I have tried it from a session using the gnome panel but could not trigger the bug you mentioned. So could you give a little bit more information.
Does the segfault happen with any apps closed (I have tried gedit, gimp, gnome-terminal without seeing the bug)? Does it happen with apps opened before or after issuing 'muffin --replace' or it does not matter? Second could you give a little bit more about the system (I will add bug scripts in the next versions of the package): What is the output of glxinfo? What is the output of "ldd /usr/bin/muffin"? Is your system (as it is configured now) able to run gnome-shell without glitches? Finally, since the bug symptom is a segmentation fault, could you send a core dump of it? Cheers, Nicolas Bourdaud
signature.asc
Description: OpenPGP digital signature