On Sat, Sep 17, 2011 at 12:04:36PM +0200, Jos Vos wrote: > > After having installed both GNOME and Xfce since F15, I noticed that the > GNOME terminal (package gnome-terminal) and Xfce terminal (package Terminal) > use the same Name and Icon in their desktop files. So when using the > "System" menu, you have to try (and remember) which one is the one you want. Additionally, once you start an XFCE terminal, GNOME Shell thinks that it's actually a GNOME terminal and gets the window ownership wrong: https://bugzilla.gnome.org/show_bug.cgi?id=656300 -- Andrew McNabb http://www.mcnabbs.org/andrew/ PGP Fingerprint: 8A17 B57C 6879 1863 DE55 8012 AB4D 6098 8826 6868 -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
