public void colorizeGlyph(Glyph glyph, Color color)
public void colorizeGlyph (Glyph glyph)
    public void colorizeGlyph(Glyph glyph,                              Color color)    {        if (color != null) {            glyph.colorize(viewIndex, color);        } else {            glyph.recolorize(viewIndex);        }    }