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

Fixes to delegatesFocus #7079

Merged
merged 2 commits into from
Nov 1, 2021
Merged

Fixes to delegatesFocus #7079

merged 2 commits into from
Nov 1, 2021

Commits on Oct 28, 2021

  1. Fixes to delegatesFocus 

    * Make it use the shadow tree instead of the flat tree. Closes #7207.
* Make it work with the unfocusing steps symmetrically to the focusing steps. Closes #7070.
    @domenic
    domenic committed Oct 28, 2021
    Configuration menu
    Copy the full SHA
    8615199 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2021

  1. Explicit sorting step

    @domenic
    domenic committed Nov 1, 2021
    Configuration menu
    Copy the full SHA
    f2f171d View commit details
    Browse the repository at this point in the history