https://github.com/JPMoresmau/eclipsefp/issues/86: symbols are a
different color