I'm looking forward to using the integration, personally.
This is a low quality submission. You're mad about some issue tracker thing but I don't see how this is relevant to the rest of HN or why this is soooo important.
This is a low quality submission. You're mad about some issue tracker thing but I don't see how this is relevant to the rest of HN or why this is soooo important.
That's all right and perfectly valid.
What is not is what is described in the linked issue.
There seems to be a singular issue/ bug, which is that a disabled plugin is being re-enabled after update. This is just a bug, I don't understand why this is HN-worthy.
If the headline were "intellij has a bug where a disabled plugin is being re-enabled" it would be accurate, not-inflammatory, and boring.
[1] = https://youtrack.jetbrains.com/issue/IDEA-341408/Disabling-p...
Yes, that sounds like a bug to me.
> because they insisted this be an uninstallable plugin.
I don't see a comment from Jetbrains saying that the plugin is supposed to be re-enabled.