-
Notifications
You must be signed in to change notification settings - Fork 2.6k
Allow to open different kinds of diff-editors #15401
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
Comments
No, I said we simply forgot about the feature when reviewing the original contribution. I would've expected that this feature would be part of the original contribution, but it wasn't, and so the feature is currently missing :) |
@pisv FYI |
@JonasHelming Thank you for letting me know about the issue. FWIW, when #13916 was merged, there was no support for editor associations in Theia. It was added later on in #14139. I'll take a look and try to fix it. |
@pisv Could you opena separate issue and what do you have in the log when opening those editors? |
Coming back to the issue with editor associations not taking effect for diff editors, it looks like the culprit is that I'll submit a PR once #15416 is fixed. |
The PR #15422 is ready for review. (There are some tests failing, which don't seem to be related to the PR.) |
This feature request is about this pullrequest: #13916
See also the discussion here: #15347
@msujew has expressed the suspicion that simply a merge is missing here?
The text was updated successfully, but these errors were encountered: