Thanks for your quick action!
No luck then, but at least I now know that it has never been targeting Gnome 3.4. I will probably poke around with the code if I should stick with Wheezy, but without any knowledge of GnomeShell development it's seems already quite the task.
Anyway, thanks much for your work! Gnome really needs some multi-monitor love.