Have two JFlex editor colour panes

jflex-de / idea-jflex

A plugin for IntelliJ IDEA to enable JFlex support

Apache License 2.0

20 stars 9 forks source link

Open Lucretia opened 8 years ago

Lucretia commented 8 years ago

One with correct colours, other with wrong colours. Idea uses the wrong set of colours.

Lucretia commented 8 years ago

This is due to Grammar-Kit also supplying support for JFlex. I have uninstalled this plugin for now.