| OLD | NEW |
| 1 // Copyright (c) 2011 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2011 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #ifndef CHROME_BROWSER_UI_GTK_TASK_MANAGER_GTK_H_ | 5 #ifndef CHROME_BROWSER_UI_GTK_TASK_MANAGER_GTK_H_ |
| 6 #define CHROME_BROWSER_UI_GTK_TASK_MANAGER_GTK_H_ | 6 #define CHROME_BROWSER_UI_GTK_TASK_MANAGER_GTK_H_ |
| 7 #pragma once | 7 #pragma once |
| 8 | 8 |
| 9 #include <gtk/gtk.h> | 9 #include <gtk/gtk.h> |
| 10 | 10 |
| 11 #include <string> | 11 #include <string> |
| 12 | 12 |
| 13 #include "base/compiler_specific.h" |
| 13 #include "base/memory/scoped_ptr.h" | 14 #include "base/memory/scoped_ptr.h" |
| 14 #include "chrome/browser/task_manager/task_manager.h" | 15 #include "chrome/browser/task_manager/task_manager.h" |
| 15 #include "grit/generated_resources.h" | 16 #include "grit/generated_resources.h" |
| 16 #include "ui/base/gtk/gtk_signal.h" | 17 #include "ui/base/gtk/gtk_signal.h" |
| 17 | 18 |
| 18 namespace gfx { | 19 namespace gfx { |
| 19 class Point; | 20 class Point; |
| 20 } | 21 } |
| 21 | 22 |
| 22 class TaskManagerGtk : public TaskManagerModelObserver { | 23 class TaskManagerGtk : public TaskManagerModelObserver { |
| 23 public: | 24 public: |
| 24 explicit TaskManagerGtk(bool highlight_background_resources); | 25 explicit TaskManagerGtk(bool highlight_background_resources); |
| 25 virtual ~TaskManagerGtk(); | 26 virtual ~TaskManagerGtk(); |
| 26 | 27 |
| 27 // TaskManagerModelObserver | 28 // TaskManagerModelObserver |
| 28 virtual void OnModelChanged(); | 29 virtual void OnModelChanged() OVERRIDE; |
| 29 virtual void OnItemsChanged(int start, int length); | 30 virtual void OnItemsChanged(int start, int length) OVERRIDE; |
| 30 virtual void OnItemsAdded(int start, int length); | 31 virtual void OnItemsAdded(int start, int length) OVERRIDE; |
| 31 virtual void OnItemsRemoved(int start, int length); | 32 virtual void OnItemsRemoved(int start, int length) OVERRIDE; |
| 32 | 33 |
| 33 // Closes the task manager window. | 34 // Closes the task manager window. |
| 34 void Close(); | 35 void Close(); |
| 35 | 36 |
| 36 // Creates the task manager if it doesn't exist; otherwise, it activates the | 37 // Creates the task manager if it doesn't exist; otherwise, it activates the |
| 37 // existing task manager window. If |highlight_background_resources| is true, | 38 // existing task manager window. If |highlight_background_resources| is true, |
| 38 // background resources are rendered with a yellow highlight (for the | 39 // background resources are rendered with a yellow highlight (for the |
| 39 // "View Background Pages" menu item). | 40 // "View Background Pages" menu item). |
| 40 static void Show(bool highlight_background_resources); | 41 static void Show(bool highlight_background_resources); |
| 41 | 42 |
| (...skipping 200 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 242 // ourselves caused. | 243 // ourselves caused. |
| 243 bool ignore_selection_changed_; | 244 bool ignore_selection_changed_; |
| 244 | 245 |
| 245 // If true, background resources are rendered with a yellow highlight. | 246 // If true, background resources are rendered with a yellow highlight. |
| 246 bool highlight_background_resources_; | 247 bool highlight_background_resources_; |
| 247 | 248 |
| 248 DISALLOW_COPY_AND_ASSIGN(TaskManagerGtk); | 249 DISALLOW_COPY_AND_ASSIGN(TaskManagerGtk); |
| 249 }; | 250 }; |
| 250 | 251 |
| 251 #endif // CHROME_BROWSER_UI_GTK_TASK_MANAGER_GTK_H_ | 252 #endif // CHROME_BROWSER_UI_GTK_TASK_MANAGER_GTK_H_ |
| OLD | NEW |