| commit | 42f7b7ecb2cd2e0c3d62315f033639b2ad8bacd9 | [log] [tgz] |
|---|---|---|
| author | Terry Jan Reedy <tjreedy@udel.edu> | Sat May 26 16:55:43 2012 -0400 |
| committer | Terry Jan Reedy <tjreedy@udel.edu> | Sat May 26 16:55:43 2012 -0400 |
| tree | 150b677d15b0f919803a2dc9da5cd1d216637929 | |
| parent | 6a942528ecd0087b91a6c0a5fef5a57b307e7ca9 [diff] |
Issue #14876: Use user-selected font for highlight configuration. Patch by Roger Serwy.