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 <s...@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
