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()); |
} |