Re: Pspp icon name in gui

[Friedrich Beckmann]

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