Skip to content

Conversation

@DanTup
Copy link
Member

@DanTup DanTup commented May 6, 2020

Fixes #2430.

@DanTup DanTup added is enhancement 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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Offer to try reinstalling DevTools if it fails to launch

2 participants