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