gnome-terminal displaying boldface even when set to disallow
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned | ||
vte2.91 (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned |
Bug Description
/org/gnome/
$ lsb_release -rd
Description: Ubuntu Bionic Beaver (development branch)
Release: 18.04
$ apt-cache policy gnome-terminal
gnome-terminal:
Installed: 3.27.90-1ubuntu1
Candidate: 3.27.90-1ubuntu1
Version table:
*** 3.27.90-1ubuntu1 500
500 http://
100 /var/lib/
ProblemType: Bug
DistroRelease: Ubuntu 18.04
Package: gnome-terminal 3.27.90-1ubuntu1
ProcVersionSign
Uname: Linux 4.15.0-10-generic x86_64
NonfreeKernelMo
ApportVersion: 2.20.8-0ubuntu10
Architecture: amd64
CurrentDesktop: GNOME
Date: Thu Mar 1 22:12:06 2018
InstallationDate: Installed on 2018-02-12 (17 days ago)
InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Release amd64 (20180105.1)
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to bionic on 2018-03-02 (0 days ago)
mate-terminal and terminator have the same problem. The checkboxes for 'allow bold text' can be clicked but they do nothing.