JWMDesk desktop icons fix

The official release of radky's JWMDesk is version 3.5.1, announced on this blog:

https://bkhome.org/news/202204/jwmdesk-351-released.html

Since then, I have applied fixes for running in EasyOS, version 3.5.1.1, 3.5.1.2, and now 3.5.1.3.

In JWMDesk, "Desktop -> Icon layout", there are radiobuttons to flip between the traditional Puppy desktop icon layout, and the standard EasyOS layout.

I flipped to Puppy layout; however, after switching back to EasyOS layout, the icon layout was somewhat broken. That has been fixed by 3.5.1.3. The script edited is /usr/local/desksetup/func    

Tags: easy