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

Reintroduce spotlight/"important traits" feature #74111

Closed
wants to merge 4 commits into from
Closed

Reintroduce spotlight/"important traits" feature #74111

wants to merge 4 commits into from

Commits on Jul 6, 2020

  1. Revert "Remove "important traits" feature" 

    This reverts commit 1244ced.
    @Manishearth
    Manishearth committed Jul 6, 2020
    Configuration menu
    Copy the full SHA
    1cff03d View commit details
    Browse the repository at this point in the history

  2. Revert "Remove spotlight usage" 

    This reverts commit 13c6d58.
    @Manishearth
    Manishearth committed Jul 6, 2020
    Configuration menu
    Copy the full SHA
    7539451 View commit details
    Browse the repository at this point in the history

  3. Move spotlight next to the return type

    @Manishearth
    Manishearth committed Jul 6, 2020
    Configuration menu
    Copy the full SHA
    f2b7e83 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2020

  1. Make spotlight show on hover 

    This makes the spotlight show on hover instead of click. Clicks can be
used to persist it, which is also what's used on mobile.
    @Manishearth
    Manishearth committed Jul 7, 2020
    Configuration menu
    Copy the full SHA
    b65fa84 View commit details
    Browse the repository at this point in the history