Congratulations for the early and well done implementation of the Gnome 3.2 Desktop.

It looks like the few and simple changes done in Gnome 3.2 will make this platform very attractive again to the users.

Use gnome-tweak-tool to activate those changes.