[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Pspp icon name in gui

From: Friedrich Beckmann
Subject: Re: Pspp icon name in gui
Date: Thu, 30 Jun 2022 06:42:23 +0200

In the source for example here:

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 <>:

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 <> 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?



reply via email to

[Prev in Thread] Current Thread [Next in Thread]