On Sunday, 5 October 2025 11:03:42 Central European Summer Time you wrote: > It looks like for wmaker pan and org.gnome.pan are two separate > programs 🙁
ok, it may be that pan's current icon name is not standard. ok, then try to change the Icon name in desktop file to "pan" instead of "org.gnome.pan" and leave out the call to g_set_prgname in pan.cc. HTH
