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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs