This fix has to be done inside gnome-builder itself, as it provides a
way to define custom theming for various styles [1], and it can't be
overridden at theme level. Being gnome-builder in universe I think we
can lower this issue and not really something critical for release.
A rule like
** Changed in: ubuntu-themes (Ubuntu)
Status: New => Triaged
** Changed in: ubuntu-themes (Ubuntu)
Importance: Undecided => High
** Changed in: ubuntu-themes (Ubuntu)
Assignee: (unassigned) => Marco Trevisan (Treviño) (3v1n0)
** Also affects: ubuntu-themes (Ubuntu Bionic)
2 matches
Mail list logo
