A new problem, which I think is related to the fix: if I try to change the icon of the launcher, the icon won't change. E.g., if I try to set JAMin's icon to the correct pixmap (which BTW is not done by default), the following appears in jamin.desktop:
A new problem, which I think is related to the fix: if I try to change the icon of the launcher, the icon won't change. E.g., if I try to set JAMin's icon to the correct pixmap (which BTW is not done by default), the following appears in jamin.desktop:
Icon[en_ GB]=/usr/ share/jamin/ pixmaps/ JAMin_icon. xpm
alongside the original
Icon=jamin.svg
This results in no icon change. If I delete the original line, no change either. If I delete both lines and add
Icon=/ usr/share/ jamin/pixmaps/ JAMin_icon. xpm
the icon change becomes effective.
I would think that the icon should not be locale-dependent. Changing the name of the executable works fine, so this is specific to the icon property.