| Index: ui/app_list/pagination_model.h
|
| diff --git a/ui/app_list/pagination_model.h b/ui/app_list/pagination_model.h
|
| index 70262948c064bc0ec31993d60de69812e4b54698..d51241afca352f5dd1a6b9c6b157be60f1b839f9 100644
|
| --- a/ui/app_list/pagination_model.h
|
| +++ b/ui/app_list/pagination_model.h
|
| @@ -74,13 +74,15 @@ class APP_LIST_EXPORT PaginationModel : public ui::AnimationDelegate {
|
| // reverses it.
|
| void EndScroll(bool cancel);
|
|
|
| + // Returns true if current transition is being reverted.
|
| + bool IsRevertingCurrentTransition() const;
|
| +
|
| void AddObserver(PaginationModelObserver* observer);
|
| void RemoveObserver(PaginationModelObserver* observer);
|
|
|
| int total_pages() const { return total_pages_; }
|
| int selected_page() const { return selected_page_; }
|
| const Transition& transition() const { return transition_; }
|
| - bool scrolling() const { return scrolling_; }
|
|
|
| bool is_valid_page(int page) const {
|
| return page >= 0 && page < total_pages_;
|
| @@ -119,8 +121,6 @@ class APP_LIST_EXPORT PaginationModel : public ui::AnimationDelegate {
|
|
|
| Transition transition_;
|
|
|
| - bool scrolling_; // Whether a scroll is in progress.
|
| -
|
| // Pending selected page when SelectedPage is called during a transition. If
|
| // multiple SelectPage is called while a transition is in progress, only the
|
| // last target page is remembered here.
|
|
|