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
Touch seeded packages, which is subscribed to gtk+3.0 in Ubuntu.
https://bugs.launchpad.net/bugs/1900729
Title:
gnome-terminal font settings show only italic version of ubuntu mono
Status in gtk+3.0 package in Ubuntu:
Fix Committed
Status in gtk+3.0 source package in Groovy:
Fix Committed
Bug description:
[Impact]
When you want to select a monospace font in gnome-terminal's profile
editor, it does not always show the regular font but rather an
arbitrarily chosen one. The proposed gtk+3.0 upload cherry picks an
upstream commit which fixes it.
[Test case]
* Install the binaries built from gtk+3.0 in groovy-proposed
* Relogin
* Open gnome-terminal -> Preferences and open the window for selecting
a custom font for the profile. Find that it shows regular fonts only.
[ Regression risk ]
The upstream commit was written explicitly to fix this issue, so the
regression risk should be low. Please note that the only affected file
is gtk/gtkfontchooserwidget.c, so the scope is very limited which in
itself ought to limit the regression risk.
[Original description]
trying to change the font in gnome-terminal, only the italics version
of the ubuntu mono font is shown, as can be seen in the attachment. on
the other hand, when changing fonts in the appearance settings, i can
see all variants of the ubuntu fonts...
ProblemType: Bug
DistroRelease: Ubuntu 20.10
Package: gnome-terminal 3.38.0-1ubuntu1
ProcVersionSignature: Ubuntu 5.8.0-25.26-generic 5.8.14
Uname: Linux 5.8.0-25-generic x86_64
ApportVersion: 2.20.11-0ubuntu50
Architecture: amd64
CasperMD5CheckResult: skip
CurrentDesktop: XFCE
Date: Tue Oct 20 16:56:57 2020
InstallationDate: Installed on 2020-10-20 (0 days ago)
InstallationMedia: Ubuntu 20.10 "Groovy Gorilla" - Beta amd64 (20201019.1)
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gtk+3.0/+bug/1900729/+subscriptions
--
Mailing list: https://launchpad.net/~touch-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~touch-packages
More help : https://help.launchpad.net/ListHelp
