Searched refs:top_stuck_header_pixel_size (Results 1 – 1 of 1) sorted by relevance
180 int top_stuck_header_pixel_size = index * divider_height_; in ScrollToPanel() local200 int top_stuck_headers_scroll_pos = space_above - top_stuck_header_pixel_size; in ScrollToPanel()