Command-completion notifications on tabs make the tab title non-bold
@nirbheek
Submitted by Nirbheek Chauhan Link to original bug (#748113)
Description
Created attachment 301907 The three states of the bold tab title: notification, focus, defocus
If you have a tab title that's bold (because your prompt uses bold text), when you receive a background notification that a command has completed in another tab, switching to it makes it so that the title is never bold again.
Please see the attached screenshot; the transition is from top to bottom.
Attachment 301907, "The three states of the bold tab title: notification, focus, defocus":
Version: git master
Resolution: RESOLVED NOTGNOME