You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Fernando Perez 6226f830a0 Merge pull request #2012 from mcelrath/mono_cursor_offset ... Fix spurious appearance of the #fontarea when fonts don't have any problem; also remove loud dialog when problematic font is detected and simply adjust baseline. Users will have a slightly offset baseline for bold/italic highlights, but without any functional problems. Fixes #2005.		14 years ago
..
html/notebook	Merge pull request #2012 from mcelrath/mono_cursor_offset	14 years ago