i tested it after installing libgtk-3-0 libgtk-3-common from proposed. i
can confirm that the gnome-terminal settings custom font now shows only
"ubuntu mono" when "ubuntu" is typed into the search box and therefore
solves the issue.
nevertheless, note that this is still different than what we see in
focal, namely typing "ubuntu" into the search shows ubuntu mono
{regular, italics, bold, bold-italics}. it's probably fine to allow
selecting only the regular font since italics is useless as a terminal
font and bold is used for emphasis anyway...
packages installed: libgtk-3-common (3.24.23-1ubuntu1.1) over
(3.24.23-1ubuntu1), libgtk-3-0:amd64 (3.24.23-1ubuntu1.1) over
(3.24.23-1ubuntu1)
** Tags removed: verification-needed-groovy
** Tags added: verification-done-groovy
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1900729
Title:
gnome-terminal font settings show only italic version of ubuntu mono
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gtk+3.0/+bug/1900729/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
