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(); |