Makes FramePainter not animate the header if the parent (a workspace)

Makes FramePainter not animate the header if the parent (a workspace)
is already animating. Doing so leads to lots of painting when
switching workspaces and a bad frame rate for the animation. The
rationale for disabling here is that if you are switching worskpaces,
you're not going to notice the header animating.

BUG=147350
TEST=none
R=jamescook@chromium.org


Committed: http://src.chromium.org/viewvc/chrome?view=rev&revision=156339

[James Cook, 2012-09-12 15:49:35]

LGTM

http://codereview.chromium.org/10917214/diff/1/ash/wm/frame_painter.cc
File ash/wm/frame_painter.cc (right):

http://codereview.chromium.org/10917214/diff/1/ash/wm/frame_painter.cc#newcod...
ash/wm/frame_painter.cc:303: // Don't animate the header if the parent (a
worskpace) is already
worskpace -> workspace

[sky, 2012-09-12 16:14:22]

http://codereview.chromium.org/10917214/diff/1/ash/wm/frame_painter.cc
File ash/wm/frame_painter.cc (right):

http://codereview.chromium.org/10917214/diff/1/ash/wm/frame_painter.cc#newcod...
ash/wm/frame_painter.cc:303: // Don't animate the header if the parent (a
worskpace) is already
On 2012/09/12 15:49:35, James Cook (Chromium) wrote:
> worskpace -> workspace

Done.

[commit-bot: I haz the power, 2012-09-12 16:14:36]

CQ is trying da patch. Follow status at
https://chromium-status.appspot.com/cq/sky@chromium.org/10917214/3

[commit-bot: I haz the power, 2012-09-12 18:44:04]

Change committed as 156339