4 ms·

It says IDE plug-in

• TehCorwiz 1y ago
  Yes, that's the question. It doesn't appear to support any IDEs except VSCode so why use the general term and give an incorrect impression?
  • dmix 1y ago
    Probably because it's based on an idea published in a paper, it's not limited to this particular repo
  • tonyhart7 1y ago
    are we seriously nitpicking every single little thing???
    • Bishonen88 1y ago
      Doesn't seem like a nitpick to me. I use only intellij which is an IDE. It's like someone would say they created an app for mobile phones (*only for iPhone 17)
      • gkbrk 1y ago
        It wouldn't be weird to call an iPhone app an app for mobile phones. If I make an IntelliJ-only plugin, that's still an IDE plugin even if it doesn't work for all the IDEs in existence.