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

Export selection potential fix #1201

Closed
wants to merge 2 commits into from
Closed

Export selection potential fix #1201

wants to merge 2 commits into from

Commits on Sep 2, 2024

  1. make export selection match the other modes 

    There is a minute difference.
On the two other modes we have
`if let Some(file)`
then we call `span_future_local`

This was the reverse for the selection export.
Trying to see if this fixes flxzt#1199 (will only be a style PR otherwise)
    @Doublonmousse
    Doublonmousse committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    2e55d9b View commit details
    Browse the repository at this point in the history

  2. Merge pull request #20 from flxzt/main 

    match main
    @Doublonmousse
    Doublonmousse authored Sep 2, 2024
    Configuration menu
    Copy the full SHA
    f399641 View commit details
    Browse the repository at this point in the history