| Index: chrome/browser/ui/gtk/browser_window_gtk.cc
|
| ===================================================================
|
| --- chrome/browser/ui/gtk/browser_window_gtk.cc (revision 187863)
|
| +++ chrome/browser/ui/gtk/browser_window_gtk.cc (working copy)
|
| @@ -2312,11 +2312,14 @@
|
| }
|
|
|
| void BrowserWindowGtk::ShowDevToolsContainer() {
|
| + gtk_widget_set_size_request(devtools_container_->widget(),
|
| + devtools_window_->GetMinimumWidth(),
|
| + devtools_window_->GetMinimumHeight());
|
| bool to_right = devtools_dock_side_ == DEVTOOLS_DOCK_SIDE_RIGHT;
|
| gtk_paned_pack2(GTK_PANED(to_right ? contents_hsplit_ : contents_vsplit_),
|
| devtools_container_->widget(),
|
| FALSE,
|
| - TRUE);
|
| + FALSE);
|
| UpdateDevToolsSplitPosition();
|
| gtk_widget_show(devtools_container_->widget());
|
| }
|
|
|