Same here. A decent machine with lots of available resources, and drawing the screen when switching workspaces on Linux, takes around 3 times more than with 3.7

Same here. A decent machine with lots of available resources, and drawing the screen when switching workspaces on Linux, takes around 3 times more than with 3.7.2. And the "glossy" menu bar also disturbs me. Switching back to 3.7...