Should we leave color as it is now without? I vote for "no color".
In the alternative, I'm in full agreement with using highlight, not Pygments, for the reasons stated (which I've also experienced). --thanks, karl.
Should we leave color as it is now without? I vote for "no color".
In the alternative, I'm in full agreement with using highlight, not Pygments, for the reasons stated (which I've also experienced). --thanks, karl.