Index: chrome/browser/devtools/devtools_embedder_message_dispatcher.h |
diff --git a/chrome/browser/devtools/devtools_embedder_message_dispatcher.h b/chrome/browser/devtools/devtools_embedder_message_dispatcher.h |
index a80d9459e969e91be994069da1a3df0f66913380..67795dff6b72baa826a72e378c07dfd889c023b0 100644 |
--- a/chrome/browser/devtools/devtools_embedder_message_dispatcher.h |
+++ b/chrome/browser/devtools/devtools_embedder_message_dispatcher.h |
@@ -32,6 +32,7 @@ class DevToolsEmbedderMessageDispatcher { |
int top, int left, int bottom, int right) = 0; |
virtual void MoveWindow(int x, int y) = 0; |
virtual void SetDockSide(const std::string& side) = 0; |
pfeldman
2014/01/09 12:52:01
Please comment as to-be-removed.
dgozman
2014/01/14 15:26:17
Done.
|
+ virtual void SetIsDocked(bool is_docked) = 0; |
virtual void OpenInNewTab(const std::string& url) = 0; |
virtual void SaveToFile(const std::string& url, |
const std::string& content, |