Bug#1109086: gnome-terminal: Missing icon of the default profile
Egmont Koblinger
egmont at gmail.com
Tue Jul 15 15:45:27 BST 2025
Forwarded upstream: https://gitlab.gnome.org/GNOME/gnome-terminal/-/issues/8126
I'm not a big fan of g-t shipping its own artwork. I wouldn't go into
the refactoring to use a Unicode character either, it's just not worth
it :)
starred-symbolic sounds great to me.
e.
On Tue, Jul 15, 2025 at 3:43 PM Simon McVittie <smcv at debian.org> wrote:
>
> "user" wrote:
> >Default profile icon is missing / shown as the "empty icon".
>
> I believe this is because the emblem-default-symbolic icon is no longer
> present in the Adwaita icon theme. A workaround is to install the
> adwaita-icon-theme-legacy package.
>
> On Tue, 15 Jul 2025 at 13:36:56 +0200, Egmont Koblinger wrote:
> >The relevant part of the source code is this:
> >https://gitlab.gnome.org/GNOME/gnome-terminal/-/blob/3.56.2/src/terminal-prefs.cc?ref_type=tags#L490
> >
> >The question is: Instead of "emblem-default-symbolic", what other
> >generic icon name would be better to represent the default item?
>
> The GTK 4 port of gnome-terminal briefly used "object-select-symbolic"
> for this purpose, which seems like it could be a reasonable workaround
> for the upcoming Debian 13 stable release - I actually meant to do that
> in 3.56.2-1, but I'm juggling updates to too many GNOME packages and I
> forgot.
>
> (The GTK 4 port of gnome-terminal now uses a Unicode check-mark instead
> of an icon, which is probably too intrusive a change for Debian 13.)
>
> Or perhaps starred-symbolic or checkbox-checked-symbolic could be a good
> substitute? (The more I think about it, the more I like starred-symbolic
> for this purpose, actually.)
>
> Or gnome-terminal could provide its own icon resource via the GResource
> mechanism.
>
> smcv
More information about the pkg-gnome-maintainers
mailing list