intellij-arend
intellij-arend copied to clipboard
JetBrains
Improve UI around "Project SDK" field in the project wizard
Project SDK is needed if you want to create a language extension or debug typechecking. It would be nice to add this information to the UI, say, it the form of Inline help text.
Also, <No SDK> is a valid option, so it should not be shown in the red color.
I don't think that the <No SDK> entry should be painted in red color if it is a valid option.
Agree. I failed to find an easy way to fix that, this logic is deeply hidden in the platform code. I will try to handle that later. Updated the description.
Agree. I failed to find an easy way to fix that, this logic is deeply hidden in the platform code. I will try to handle that later. Updated the description.
Here's the stacktrace pointing out to the code that is responsible for actually painting that combo box item in red. Also doesn't seem very configurable to me.
