[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Pspp icon name in gui
From: |
Ben Pfaff |
Subject: |
Re: Pspp icon name in gui |
Date: |
Thu, 30 Jun 2022 15:26:25 -0700 |
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
>>