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.

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

Improve registration of debug config providers #77

Closed
wants to merge 1 commit into from

Conversation

arekzaluski
Copy link

What it does

  • Modify Debug Configuration Provider registration to check if there is already a configuration provider with given handle number

How to test

Review checklist

Reminder for reviewers

@thegecko
Copy link
Member

Is this worth up streaming?

@arekzaluski
Copy link
Author

Is this worth up streaming?

Yes, I believe it is. Let me double check that there isn't already a different solution implemented in master for this issue. If it is not then I'll create a PR adding it.

@arekzaluski
Copy link
Author

@federicobozzini @CareyJWilliams I've opened a PR to upstream this change: eclipse-theia#13196

@arekzaluski
Copy link
Author

upstreamed PR has been merged in Theia. I'm closing this PR and instead I'm going to cherry-pick it directly from official Theia.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants