If you think so. But I will say this sort of thing does not happen under
Windows with the same TV/receiver, and on the same machine/TV/receiver
when I was running an Nvidia card with the Nvidia proprietary drivers,
it didn't do it either.
Something strange must be happening here, and I opened the
mate-terminal and terminator have the same problem. The checkboxes for
'allow bold text' can be clicked but they do nothing.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
Public bug reported:
/org/gnome/terminal/legacy/profiles//allow-bold is set to false in
dconf, but the terminal continues to display boldface, rendering some
fixed-width fonts barely readable.
$ lsb_release -rd
Description:Ubuntu Bionic Beaver (development branch)
Release:18.04
$
