| Index: chrome/browser/ui/panels/docked_panel_strip.h
|
| diff --git a/chrome/browser/ui/panels/docked_panel_strip.h b/chrome/browser/ui/panels/docked_panel_strip.h
|
| index 5a112da5ac22ea080035fa891199949384b47ff4..1a63d2ba79aa6034d6d7f689638b8f38038045cb 100644
|
| --- a/chrome/browser/ui/panels/docked_panel_strip.h
|
| +++ b/chrome/browser/ui/panels/docked_panel_strip.h
|
| @@ -107,6 +107,8 @@ class DockedPanelStrip : public PanelStrip,
|
| int num_temporary_layout_panels() const {
|
| return panels_in_temporary_layout_.size();
|
| }
|
| +
|
| + int minimized_panel_count() const {return minimized_panel_count_; }
|
| #endif
|
|
|
| private:
|
| @@ -135,8 +137,7 @@ class DockedPanelStrip : public PanelStrip,
|
| void InsertExistingPanelAtDefaultPosition(Panel* panel, bool refresh_bounds);
|
|
|
| // Keep track of the minimized panels to control mouse watching.
|
| - void IncrementMinimizedPanels();
|
| - void DecrementMinimizedPanels();
|
| + void UpdateMinimizedPanelCount();
|
|
|
| // Help functions to drag the given panel.
|
| void DragLeft(Panel* dragging_panel);
|
|
|