| commit | 809309a4822124f46dc98514ccdf818564215f30 | [log] [tgz] |
|---|---|---|
| author | Terry Jan Reedy <tjreedy@udel.edu> | Sat May 26 16:31:00 2012 -0400 |
| committer | Terry Jan Reedy <tjreedy@udel.edu> | Sat May 26 16:31:00 2012 -0400 |
| tree | 98266981b03ffa78488ea2d74d71c4e136abadd3 | |
| parent | ffa4b2c037b4e2b101b24927ae30ef2fd08c839e [diff] |
Issue #14876: Use user-selected font for highlight configuration. Patch by Roger Serwy.