Ubuntu

  1. Bug #200671
  2. Comment #18

Comment 18 for bug 200671

Revision history for this message
Valentin Neacsu (valentin.neacsu) wrote :

Ignore that last request, I've just found an option in gnome-terminal that ignores bold fonts, and that makes this font perfect. Thanks a lot!