I confirmed that gnome-shell 3.4.2-14 (or -13) fixes this problem :).
Thanks, -- Nobuhiro IMAI <n...@yo.rim.or.jp> Key fingerprint = E57F 2482 4074 13BC 3B9A 165B C689 5B16 A620 4657 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
