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