OLD | NEW |
1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2012 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 |
(...skipping 12 matching lines...) Expand all Loading... |
23 class TaskManagerGtk : public TaskManagerModelObserver { | 23 class TaskManagerGtk : public TaskManagerModelObserver { |
24 public: | 24 public: |
25 explicit TaskManagerGtk(bool highlight_background_resources); | 25 explicit TaskManagerGtk(bool highlight_background_resources); |
26 virtual ~TaskManagerGtk(); | 26 virtual ~TaskManagerGtk(); |
27 | 27 |
28 // TaskManagerModelObserver | 28 // TaskManagerModelObserver |
29 virtual void OnModelChanged() OVERRIDE; | 29 virtual void OnModelChanged() OVERRIDE; |
30 virtual void OnItemsChanged(int start, int length) OVERRIDE; | 30 virtual void OnItemsChanged(int start, int length) OVERRIDE; |
31 virtual void OnItemsAdded(int start, int length) OVERRIDE; | 31 virtual void OnItemsAdded(int start, int length) OVERRIDE; |
32 virtual void OnItemsRemoved(int start, int length) OVERRIDE; | 32 virtual void OnItemsRemoved(int start, int length) OVERRIDE; |
| 33 virtual void OnItemsToBeRemoved(int start, int length) OVERRIDE {} |
33 | 34 |
34 // Closes the task manager window. | 35 // Closes the task manager window. |
35 void Close(); | 36 void Close(); |
36 | 37 |
37 // Creates the task manager if it doesn't exist; otherwise, it activates the | 38 // Creates the task manager if it doesn't exist; otherwise, it activates the |
38 // existing task manager window. If |highlight_background_resources| is true, | 39 // existing task manager window. If |highlight_background_resources| is true, |
39 // background resources are rendered with a yellow highlight (for the | 40 // background resources are rendered with a yellow highlight (for the |
40 // "View Background Pages" menu item). | 41 // "View Background Pages" menu item). |
41 static void Show(bool highlight_background_resources); | 42 static void Show(bool highlight_background_resources); |
42 | 43 |
(...skipping 197 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
240 // ourselves caused. | 241 // ourselves caused. |
241 bool ignore_selection_changed_; | 242 bool ignore_selection_changed_; |
242 | 243 |
243 // If true, background resources are rendered with a yellow highlight. | 244 // If true, background resources are rendered with a yellow highlight. |
244 bool highlight_background_resources_; | 245 bool highlight_background_resources_; |
245 | 246 |
246 DISALLOW_COPY_AND_ASSIGN(TaskManagerGtk); | 247 DISALLOW_COPY_AND_ASSIGN(TaskManagerGtk); |
247 }; | 248 }; |
248 | 249 |
249 #endif // CHROME_BROWSER_UI_GTK_TASK_MANAGER_GTK_H_ | 250 #endif // CHROME_BROWSER_UI_GTK_TASK_MANAGER_GTK_H_ |
OLD | NEW |