| 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;
|
| + 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,
|
|
|