idea-jflex icon indicating copy to clipboard operation
idea-jflex copied to clipboard

Published 20 hours ago • verified publisher icon jflex-de

Wrong option highlighting

Open GoogleCodeExporter opened this issue 10 years ago • 0 comments 

%buffer, %ctorarg options are unknown to plugin
%state, %xstate are mishandled

Original issue reported on code.google.com by [email protected] on 7 Oct 2009 at 3:48

Attachments:

GoogleCodeExporter avatar Apr 08 '15 12:04 GoogleCodeExporter