[Desktop-packages] [Bug 1752769] Re: gnome-terminal displaying boldface even when set to disallow

2018-03-03 Thread Egmont Koblinger
Will be fixed in vte2.91 version 0.51.92.

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1752769

Title:
  gnome-terminal displaying boldface even when set to disallow

Status in gnome-terminal package in Ubuntu:
  Confirmed
Status in vte2.91 package in Ubuntu:
  Confirmed

Bug description:
  /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

  $ 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://ca.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
  100 /var/lib/dpkg/status

  ProblemType: Bug
  DistroRelease: Ubuntu 18.04
  Package: gnome-terminal 3.27.90-1ubuntu1
  ProcVersionSignature: Ubuntu 4.15.0-10.11-generic 4.15.3
  Uname: Linux 4.15.0-10-generic x86_64
  NonfreeKernelModules: nvidia_uvm nvidia_drm nvidia_modeset nvidia
  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)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1752769/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1752769] Re: gnome-terminal displaying boldface even when set to disallow

2018-03-02 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users.

** Changed in: vte2.91 (Ubuntu)
   Status: New => Confirmed

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1752769

Title:
  gnome-terminal displaying boldface even when set to disallow

Status in gnome-terminal package in Ubuntu:
  Confirmed
Status in vte2.91 package in Ubuntu:
  Confirmed

Bug description:
  /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

  $ 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://ca.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
  100 /var/lib/dpkg/status

  ProblemType: Bug
  DistroRelease: Ubuntu 18.04
  Package: gnome-terminal 3.27.90-1ubuntu1
  ProcVersionSignature: Ubuntu 4.15.0-10.11-generic 4.15.3
  Uname: Linux 4.15.0-10-generic x86_64
  NonfreeKernelModules: nvidia_uvm nvidia_drm nvidia_modeset nvidia
  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)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1752769/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1752769] Re: gnome-terminal displaying boldface even when set to disallow

2018-03-02 Thread Egmont Koblinger
** Also affects: vte2.91 (Ubuntu)
   Importance: Undecided
   Status: New

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1752769

Title:
  gnome-terminal displaying boldface even when set to disallow

Status in gnome-terminal package in Ubuntu:
  Confirmed
Status in vte2.91 package in Ubuntu:
  Confirmed

Bug description:
  /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

  $ 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://ca.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
  100 /var/lib/dpkg/status

  ProblemType: Bug
  DistroRelease: Ubuntu 18.04
  Package: gnome-terminal 3.27.90-1ubuntu1
  ProcVersionSignature: Ubuntu 4.15.0-10.11-generic 4.15.3
  Uname: Linux 4.15.0-10-generic x86_64
  NonfreeKernelModules: nvidia_uvm nvidia_drm nvidia_modeset nvidia
  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)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1752769/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1752769] Re: gnome-terminal displaying boldface even when set to disallow

2018-03-02 Thread Egmont Koblinger
Indeed, thanks for the report.

Forwarded upstream: https://bugzilla.gnome.org/show_bug.cgi?id=793987.

I'll take a look.

** Bug watch added: GNOME Bug Tracker #793987
   https://bugzilla.gnome.org/show_bug.cgi?id=793987

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1752769

Title:
  gnome-terminal displaying boldface even when set to disallow

Status in gnome-terminal package in Ubuntu:
  Confirmed
Status in vte2.91 package in Ubuntu:
  Confirmed

Bug description:
  /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

  $ 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://ca.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
  100 /var/lib/dpkg/status

  ProblemType: Bug
  DistroRelease: Ubuntu 18.04
  Package: gnome-terminal 3.27.90-1ubuntu1
  ProcVersionSignature: Ubuntu 4.15.0-10.11-generic 4.15.3
  Uname: Linux 4.15.0-10-generic x86_64
  NonfreeKernelModules: nvidia_uvm nvidia_drm nvidia_modeset nvidia
  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)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1752769/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1752769] Re: gnome-terminal displaying boldface even when set to disallow

2018-03-02 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users.

** Changed in: gnome-terminal (Ubuntu)
   Status: New => Confirmed

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1752769

Title:
  gnome-terminal displaying boldface even when set to disallow

Status in gnome-terminal package in Ubuntu:
  Confirmed
Status in vte2.91 package in Ubuntu:
  Confirmed

Bug description:
  /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

  $ 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://ca.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
  100 /var/lib/dpkg/status

  ProblemType: Bug
  DistroRelease: Ubuntu 18.04
  Package: gnome-terminal 3.27.90-1ubuntu1
  ProcVersionSignature: Ubuntu 4.15.0-10.11-generic 4.15.3
  Uname: Linux 4.15.0-10-generic x86_64
  NonfreeKernelModules: nvidia_uvm nvidia_drm nvidia_modeset nvidia
  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)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1752769/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1752769] Re: gnome-terminal displaying boldface even when set to disallow

2018-03-01 Thread dan...@benoy.name
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 Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1752769

Title:
  gnome-terminal displaying boldface even when set to disallow

Status in gnome-terminal package in Ubuntu:
  New

Bug description:
  /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

  $ 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://ca.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
  100 /var/lib/dpkg/status

  ProblemType: Bug
  DistroRelease: Ubuntu 18.04
  Package: gnome-terminal 3.27.90-1ubuntu1
  ProcVersionSignature: Ubuntu 4.15.0-10.11-generic 4.15.3
  Uname: Linux 4.15.0-10-generic x86_64
  NonfreeKernelModules: nvidia_uvm nvidia_drm nvidia_modeset nvidia
  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)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1752769/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp