Re: [photran] Photran font colours for arithmetic operators, comma's etc

[Jannes Venter <jannes.venter@xxxxxxxxx>]

Hi Jeff

Thanks! Bug filed: ID 337632

https://bugs.eclipse.org/bugs/show_bug.cgi?id=337632

On 18 February 2011 23:28, Jeffrey Overbey <overbey2@xxxxxxxxxxxx> wrote:

Hi,

>> Some symbols seem to remain black irrespective of changes in colour
>> preferences. Example characters are: * + - , etc. There is a thread that

Sorry for the slow response; I had to actually search through the
editor code to figure out what's going on here.  These are hard-coded
to be black.  I'm not sure why... there isn't a preference to change
this, but there should be.  If you will file a bug report (click on
"Report a Bug" on the Photran web site), I'll make sure we look at
this before Photran 7.

Jeff