commit | 1a0df94db3786aac7624e9bcb6922b87d4498692 | [log] [tgz] |
---|---|---|
author | Terry Jan Reedy <tjreedy@udel.edu> | Sat May 26 16:50:30 2012 -0400 |
committer | Terry Jan Reedy <tjreedy@udel.edu> | Sat May 26 16:50:30 2012 -0400 |
tree | 46c58b76612e875d7c23c28f458e7fa0666c06cd | |
parent | ee2bbed9252fe286bc14765992877e1502b70328 [diff] | |
parent | 809309a4822124f46dc98514ccdf818564215f30 [diff] |
Merge Issue #14876: Use user-selected font for highlight configuration. Patch by Roger Serwy.