| 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; }
|
|
|