Index: chrome/browser/ui/toolbar/wrench_icon_painter.h |
diff --git a/chrome/browser/ui/toolbar/wrench_icon_painter.h b/chrome/browser/ui/toolbar/wrench_icon_painter.h |
index 8b7e1dd67f9c64a1e5b3a2927698e520da475977..03b540f71084057bd389d9737f5a59f8fae7fbe7 100644 |
--- a/chrome/browser/ui/toolbar/wrench_icon_painter.h |
+++ b/chrome/browser/ui/toolbar/wrench_icon_painter.h |
@@ -59,7 +59,7 @@ class WrenchIconPainter : ui::AnimationDelegate { |
// If |severity| is not |SEVERITY_NONE| then the wrench icon is colored to |
// match the severity level. |
- void SetSeverity(Severity severity); |
+ void SetSeverity(Severity severity, bool animate); |
// A badge drawn on the top left. |
void set_badge(const gfx::ImageSkia& badge) { badge_ = badge; } |