Skip to content

Prompt to reactivate DevTools if it fails to start#2432

Merged
DanTup merged 2 commits intomasterfrom
prompt-to-reactivate-devtools
May 6, 2020
Merged

Prompt to reactivate DevTools if it fails to start#2432
DanTup merged 2 commits intomasterfrom
prompt-to-reactivate-devtools

Conversation

@DanTup
Copy link
Member

@DanTup DanTup commented May 6, 2020

Fixes #2430.

@DanTup DanTup added is enhancement An enhancement or improvement that should be listed in release notes but is not a bug fix. in commands Relates to commands (usually invoked from the command Palette) labels May 6, 2020
@DanTup DanTup added this to the v3.11.0 milestone May 6, 2020
@DanTup DanTup merged commit 26b748a into master May 6, 2020
@DanTup DanTup deleted the prompt-to-reactivate-devtools branch May 6, 2020 16:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

in commands Relates to commands (usually invoked from the command Palette) is enhancement An enhancement or improvement that should be listed in release notes but is not a bug fix.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Offer to try reinstalling DevTools if it fails to launch

1 participant