Skip to content

Conversation

mstv
Copy link
Member

@mstv mstv commented Dec 10, 2024

Fixes #3128

Proposed changes

  • Disable Windows Jump List buttons if GE shows a modal dialog or has no valid wdir
  • Bring GE to front on click of Windows Jump List button

Test methodology

  • manual

Test environment(s)

  • Windows 10

Merge strategy

I agree that the maintainer squash merge this PR (if the commit message is clear).


✒️ I contribute this code under The Developer Certificate of Origin.

@mstv mstv self-assigned this Dec 10, 2024
fix(Jump List Buttons): Deactivate on modal dialog

and on invalid working directory

Refs: gitextensions#12097
@mstv mstv merged commit dc10c4b into gitextensions:master Dec 16, 2024
4 checks passed
@mstv mstv deleted the fix/3128_jumplist branch December 16, 2024 18:53
@mstv mstv added this to the v5.2 milestone Jan 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Multiple push dialogs are opened if push called from taskBar
2 participants