| OLD | NEW |
| 1 // Copyright (c) 2009 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2010 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_EXTENSIONS_EXTENSION_DEVTOOLS_MANAGER_H_ | 5 #ifndef CHROME_BROWSER_EXTENSIONS_EXTENSION_DEVTOOLS_MANAGER_H_ |
| 6 #define CHROME_BROWSER_EXTENSIONS_EXTENSION_DEVTOOLS_MANAGER_H_ | 6 #define CHROME_BROWSER_EXTENSIONS_EXTENSION_DEVTOOLS_MANAGER_H_ |
| 7 #pragma once | 7 #pragma once |
| 8 | 8 |
| 9 #include <map> | 9 #include <map> |
| 10 #include <set> | 10 #include <set> |
| 11 #include <string> | 11 #include <string> |
| 12 |
| 12 #include "base/linked_ptr.h" | 13 #include "base/linked_ptr.h" |
| 13 #include "base/ref_counted.h" | 14 #include "base/ref_counted.h" |
| 14 | 15 |
| 15 class ExtensionDevToolsBridge; | 16 class ExtensionDevToolsBridge; |
| 16 class MessageLoop; | 17 class MessageLoop; |
| 17 class Profile; | 18 class Profile; |
| 18 | 19 |
| 19 // This class manages the lifetimes of ExtensionDevToolsBridge objects. | 20 // This class manages the lifetimes of ExtensionDevToolsBridge objects. |
| 20 // The manager is owned by the Profile. | 21 // The manager is owned by the Profile. |
| 21 // | 22 // |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 57 std::map<int, std::set<int> > tab_id_to_render_process_ids_; | 58 std::map<int, std::set<int> > tab_id_to_render_process_ids_; |
| 58 | 59 |
| 59 Profile* profile_; | 60 Profile* profile_; |
| 60 MessageLoop* ui_loop_; | 61 MessageLoop* ui_loop_; |
| 61 | 62 |
| 62 DISALLOW_COPY_AND_ASSIGN(ExtensionDevToolsManager); | 63 DISALLOW_COPY_AND_ASSIGN(ExtensionDevToolsManager); |
| 63 }; | 64 }; |
| 64 | 65 |
| 65 #endif // CHROME_BROWSER_EXTENSIONS_EXTENSION_DEVTOOLS_MANAGER_H_ | 66 #endif // CHROME_BROWSER_EXTENSIONS_EXTENSION_DEVTOOLS_MANAGER_H_ |
| 66 | 67 |
| OLD | NEW |