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

Cancellation for Executable #9522

Merged
merged 5 commits into from
Aug 31, 2021
Merged

Cancellation for Executable #9522

merged 5 commits into from
Aug 31, 2021

Commits on Aug 31, 2021

  1. Cancellation for Executable 

    Cleanup: Remove unnecessary explicit throw if cancelled
    @gerhardol
    gerhardol committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    d78ce23 View commit details
    Browse the repository at this point in the history

  2. RangeDiff: Cancellation token for Git command

    @gerhardol
    gerhardol committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    f35d2b4 View commit details
    Browse the repository at this point in the history

  3. CustomDiffTools: catch failed parsing

    @gerhardol
    gerhardol committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    c02af14 View commit details
    Browse the repository at this point in the history

  4. Clear custom tool caches in sequence after updating settings

    @gerhardol
    gerhardol committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    fdadf89 View commit details
    Browse the repository at this point in the history

  5. Cancellation support for CustomDiffMergeTools (gitextensions#9522) 

    When forms starting list of custom diff/merge tools are closed,
cancel the handling including the Git process.

CustomMergeTools: Decrease delay before listing
    @gerhardol
    gerhardol committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    e71339c View commit details
    Browse the repository at this point in the history