BTW, gnome bug seems to be a more sensible solution: removing the "always on top" option in totem and adding a "on top while playing".
-- "On Top" menu bug https://launchpad.net/bugs/3647 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
