| Index: chrome/browser/ui/gtk/task_manager_gtk.h
|
| diff --git a/chrome/browser/ui/gtk/task_manager_gtk.h b/chrome/browser/ui/gtk/task_manager_gtk.h
|
| index 55d65fa2c0255db5927a6f9bba7bc3f9bd4043a4..ac00ddba22575b0d9e6e7645755210412742be53 100644
|
| --- a/chrome/browser/ui/gtk/task_manager_gtk.h
|
| +++ b/chrome/browser/ui/gtk/task_manager_gtk.h
|
| @@ -10,6 +10,7 @@
|
|
|
| #include <string>
|
|
|
| +#include "base/compiler_specific.h"
|
| #include "base/memory/scoped_ptr.h"
|
| #include "chrome/browser/task_manager/task_manager.h"
|
| #include "grit/generated_resources.h"
|
| @@ -25,10 +26,10 @@ class TaskManagerGtk : public TaskManagerModelObserver {
|
| virtual ~TaskManagerGtk();
|
|
|
| // TaskManagerModelObserver
|
| - virtual void OnModelChanged();
|
| - virtual void OnItemsChanged(int start, int length);
|
| - virtual void OnItemsAdded(int start, int length);
|
| - virtual void OnItemsRemoved(int start, int length);
|
| + virtual void OnModelChanged() OVERRIDE;
|
| + virtual void OnItemsChanged(int start, int length) OVERRIDE;
|
| + virtual void OnItemsAdded(int start, int length) OVERRIDE;
|
| + virtual void OnItemsRemoved(int start, int length) OVERRIDE;
|
|
|
| // Closes the task manager window.
|
| void Close();
|
|
|