I can confirm this bug, a workaround for this problem is: Press the: "System (Windows) key or Alt+F1" these key combinations will take you to the overview, where you will be able to see the top menu bar and the bottom menu bar.
ii gnome-common 3.4.0.1-1 ii mutter-common 3.4.1-5 ii recordmydesktop 0.3.8.1+svn602-1 amd64 -- Josué M. Abarca S. Vos mereces Software Libre. PGP key 4096R/70D8FB2A 2009-06-17 Huella de clave = B3ED 4984 F65A 9AE0 6511 DAF4 756B EB4B 70D8 FB2A -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
