Use mainstream theme solution for gnome-terminal, drop patch
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Ubuntu theme |
Won't Fix
|
Undecided
|
Unassigned | ||
gnome-terminal (Ubuntu) |
Won't Fix
|
Undecided
|
Unassigned | ||
ubuntu-themes (Ubuntu) |
Won't Fix
|
Undecided
|
Unassigned |
Bug Description
Ubuntu adds a patch called "0001-Add-
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:/
https:/
https:/
affects: | light-themes (Ubuntu) → ubuntu-themes (Ubuntu) |
Thank you for reporting this bug to Ubuntu.
Ubuntu 17.10 (artful) reached end-of-life on July 19, 2018.
See this document for currently supported Ubuntu releases: /wiki.ubuntu. com/Releases
https:/
We appreciate that this bug may be old and you might not be interested in discussing it any more. But if you are then please upgrade to the latest Ubuntu version and re-test. If you then find the bug is still present in the newer Ubuntu version, please add a comment here telling us which new version it is in.