Public bug reported: Ubuntu adds a patch called "0001-Add-style-classes-and-CSS-names-to- some-of-our-widge.patch" to gnome-terminal, and in turn Ambiance and Radiance themes' apps/gnome-terminal.css relies on this to get the desired look for the notebook widget.
Beginning with gnome-terminal 3.20.3 / 3.22.1 this should no longer be necessary. It's just an additional burden to carry this patch, plus an unnecessary complication for those who wish to manually compile gnome- terminal for whatever reason. gnome-terminal.css should ideally be modified to use the CSS names provided by mainstream gnome-terminal, and once done, the gnome-terminal patch can be dropped. Upstream references: https://bugzilla.gnome.org/show_bug.cgi?id=765590 https://bugzilla.gnome.org/show_bug.cgi?id=772134#c6 https://bugzilla.gnome.org/show_bug.cgi?id=788044 ** Affects: gnome-terminal (Ubuntu) Importance: Undecided Status: New ** Affects: light-themes (Ubuntu) Importance: Undecided Status: New ** Tags: artful ** Also affects: light-themes (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/1726555 Title: Use mainstream theme solution for gnome-terminal, drop patch Status in gnome-terminal package in Ubuntu: New Status in light-themes package in Ubuntu: New Bug description: Ubuntu adds a patch called "0001-Add-style-classes-and-CSS-names-to- some-of-our-widge.patch" to gnome-terminal, and in turn Ambiance and Radiance themes' apps/gnome-terminal.css relies on this to get the desired look for the notebook widget. Beginning with gnome-terminal 3.20.3 / 3.22.1 this should no longer be necessary. It's just an additional burden to carry this patch, plus an unnecessary complication for those who wish to manually compile gnome- terminal for whatever reason. gnome-terminal.css should ideally be modified to use the CSS names provided by mainstream gnome-terminal, and once done, the gnome- terminal patch can be dropped. Upstream references: https://bugzilla.gnome.org/show_bug.cgi?id=765590 https://bugzilla.gnome.org/show_bug.cgi?id=772134#c6 https://bugzilla.gnome.org/show_bug.cgi?id=788044 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1726555/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
