Skip to content
This repository has been archived by the owner on Dec 11, 2019. It is now read-only.

Only update tabPageIndex if user is not hovering other tab #9809

Merged
merged 2 commits into from
Jul 8, 2017

Commits on Jul 7, 2017

  1. Configuration menu
    Copy the full SHA
    4dba751 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    51b876d View commit details
    Browse the repository at this point in the history