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 |