intellij-plugin-v4 icon indicating copy to clipboard operation
intellij-plugin-v4 copied to clipboard

Published 20 hours ago • verified publisher icon antlr

Option name shouldn't introduce a reference

Open ris58h opened this issue 1 year ago • 2 comments

Option name shouldn't be a rule ref.

Screenshot 2023-07-19 at 13 39 11

ris58h avatar Jul 19 '23 10:07 ris58h

Does it introduce unexpected side effects?

bjansen avatar Sep 13 '23 19:09 bjansen

Nothing serious - just a small optimization.

ris58h avatar Sep 13 '23 22:09 ris58h