In the source for example here: https://git.savannah.gnu.org/cgit/pspp.git/tree/src/ui/gui/psppire-window.c#n397
But I do not see this icon anywhere in the gui. Maybe this is used with other window managers? > Am 30.06.2022 um 06:12 schrieb Ben Pfaff <b...@cs.stanford.edu>: > > > Where does this icon name show up? I hadn't noticed anything odd, but maybe I > can fix it if I can see it myself. > >> On Wed, Jun 29, 2022, 9:01 PM Friedrich Beckmann <friedrich.beckm...@gmx.de> >> wrote: >> Hi John, >> >> the pspp icon name was changed to org.gnu.pspp. The gui code sets the window >> icon at various places to pspp. I could not figure out where this icon is >> used in the window manager. Do you see an effect somewhere? >> >> Regards >> >> Fritz >>
