active_top_margin_   32 chrome/browser/ui/views/frame/contents_layout_manager.cc   if (active_top_margin_ == margin)
active_top_margin_   35 chrome/browser/ui/views/frame/contents_layout_manager.cc   active_top_margin_ = margin;
active_top_margin_   43 chrome/browser/ui/views/frame/contents_layout_manager.cc   int top = active_top_margin_;
active_top_margin_   40 chrome/browser/ui/views/frame/contents_layout_manager.h   int active_top_margin_;