Fernando Perez 1c905f74af Merge pull request #1883 from mcelrath/mono_cursor_offset ... Fix vertical offset due to bold/italics, and bad browser fonts. Adds a dialog warning users when a problematic monospaced font is detected, so they can change their configuration.		2012-06-10 13:42:52 -07:00
..
frontend/html/notebook	Merge pull request #1883 from mcelrath/mono_cursor_offset	2012-06-10 13:42:52 -07:00
testing	Merge pull request #1780 from jonathan-taylor/rmagic_extension	2012-06-04 16:25:44 -07:00
utils/tests