Hey, the ctrl+alt+tab popup allows switching between various UI elements. So far the icons we have been using there have been quite random in some cases, but we didn't really have anything better - until now that is[0].
I didn't find any screenshots of the popup in a quick search, so would it be ok with you if we switched to the new ones now? Cheers, Florian [0] https://git.gnome.org/browse/adwaita-icon-theme/commit/?id=e6b984c6aee540aa5fc933bd053487135e4928ac
_______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
