Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Explicitly hide tooltip when the window is deactivated (master) #11644

Merged
merged 5 commits into from Jan 19, 2018
Merged

Explicitly hide tooltip when the window is deactivated (master) #11644

merged 5 commits into from Jan 19, 2018

Commits on Jan 18, 2018

  1. explicitly hide tooltip on window deactivation

    @brenca
    brenca committed Jan 18, 2018
    Copy the full SHA
    c6c618a View commit details
    Browse the repository at this point in the history

  2. lint fix

    @brenca
    brenca committed Jan 18, 2018
    Copy the full SHA
    8233890 View commit details
    Browse the repository at this point in the history

  3. add todo comment

    @brenca
    brenca committed Jan 18, 2018
    Copy the full SHA
    5e198d9 View commit details
    Browse the repository at this point in the history

  4. update calls to use new namespaces

    @brenca
    brenca committed Jan 18, 2018
    Copy the full SHA
    8d8b8c5 View commit details
    Browse the repository at this point in the history

  5. don't dereference tooltip_controller if it's null

    @brenca
    brenca committed Jan 18, 2018
    Copy the full SHA
    f36fda3 View commit details
    Browse the repository at this point in the history