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 7df063d86b9ff7fbdfb79c6928e6e6c8c745df9e..bc13781a4254558c10b9ad64f8a95a651d0d6082 100644 |
--- a/chrome/browser/ui/gtk/task_manager_gtk.h |
+++ b/chrome/browser/ui/gtk/task_manager_gtk.h |
@@ -21,7 +21,7 @@ class Point; |
class TaskManagerGtk : public TaskManagerModelObserver { |
public: |
- explicit TaskManagerGtk(bool highlight_background_resources); |
+ explicit TaskManagerGtk(); |
virtual ~TaskManagerGtk(); |
// TaskManagerModelObserver |
@@ -34,10 +34,8 @@ class TaskManagerGtk : public TaskManagerModelObserver { |
void Close(); |
// Creates the task manager if it doesn't exist; otherwise, it activates the |
- // existing task manager window. If |highlight_background_resources| is true, |
- // background resources are rendered with a yellow highlight (for the |
- // "View Background Pages" menu item). |
- static void Show(bool highlight_background_resources); |
+ // existing task manager window. |
+ static void Show(); |
private: |
class ContextMenuController; |
@@ -249,9 +247,6 @@ class TaskManagerGtk : public TaskManagerModelObserver { |
// ourselves caused. |
bool ignore_selection_changed_; |
- // If true, background resources are rendered with a yellow highlight. |
- bool highlight_background_resources_; |
- |
DISALLOW_COPY_AND_ASSIGN(TaskManagerGtk); |
}; |