Re: Pspp icon name in gui

[Ben Pfaff]

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.beckmann@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 <blp@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.beckmann@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
>>