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

Fix #44 Add displayName for configurable #45

Conversation

AndASM
Copy link
Contributor

@AndASM AndASM commented Jul 30, 2023

It appears that the IntelliJ Platform now requires plugins to list their configurables' names in the plugin xml as an optimization. This is a simple fix for that issue, to prevent users from being pestered with error messages repeatedly while using the IDE.

As noted in the title, this should fix issue #44. The issue effects release version 2023.2, as well as 2023.3 beta (which was noted in the issue title).

@siarheiburliayeu siarheiburliayeu merged commit c5b0615 into siarheiburliayeu:main Jul 31, 2023
@siarheiburliayeu
Copy link
Owner

Merged. Thanks!

@AndASM btw, what IDE are you using? It seems IDEA 2023.2 doesn't raise any errors related to that.

@AndASM
Copy link
Contributor Author

AndASM commented Jul 31, 2023

Thanks for merging that!

I got the error on Idea Ultimate 2023.2 and Clion 2023.2, on Windows and Linux. But in all four cases it didn't happen until I installed other plugins. I think it might have been the IdeaVim plugin that triggered it.

Very strange. If none of us have missed anything, then it seems like the plugin is carrying 2023.3 beta behaviour backwards into 2023.2. Unfortunately I don't have the mental energy to explore and analyze that right now. Too many languages and systems, not enough brain.

@siarheiburliayeu
Copy link
Owner

I've managed to reproduce this. Thank you.
Take care : )

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.

None yet

2 participants