OK, I think I understand the issue. I pushed a fix. Without the fix, when I minimize the PSPPIRE window and then hit the key that shows all the minimized window icons at the bottom of my screen (in the default GNOME window manager), I see a generic icon for PSPPIRE. With the fix, the PSPPIRE icon shows. So I think this is good.
If anyone sees any other problems, let me know. Otherwise I'll release this as 1.6.2 in a few days. On Wed, Jun 29, 2022 at 9:42 PM Friedrich Beckmann <friedrich.beckm...@gmx.de> wrote: > > 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 >>
