public void exitGlyph(Glyph g) {
   g.highlight(false, null);
 }
 public void enterGlyph(Glyph g) {
   g.highlight(true, null);
 }