Indeed, thanks for the report.

Forwarded upstream:

I'll take a look.

** Bug watch added: GNOME Bug Tracker #793987

You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.

  gnome-terminal displaying boldface even when set to disallow

To manage notifications about this bug go to:

desktop-bugs mailing list

Reply via email to