| Index: chrome/browser/devtools/devtools_window.cc
|
| ===================================================================
|
| --- chrome/browser/devtools/devtools_window.cc (revision 187863)
|
| +++ chrome/browser/devtools/devtools_window.cc (working copy)
|
| @@ -396,6 +396,14 @@
|
| return height_;
|
| }
|
|
|
| +int DevToolsWindow::GetMinimumWidth() {
|
| + return kMinDevToolsWidth;
|
| +}
|
| +
|
| +int DevToolsWindow::GetMinimumHeight() {
|
| + return kMinDevToolsHeight;
|
| +}
|
| +
|
| void DevToolsWindow::SetWidth(int width) {
|
| width_ = width;
|
| profile_->GetPrefs()->SetInteger(prefs::kDevToolsVSplitLocation, width);
|
|
|