minimwatch icon on ubuntu 22.04

[Pastim]

(09-10-2023 20:18)simoncn Wrote:  It can be tricky to get the correct version of the TopIcons extension installed. for Ubuntu 22.04, I believe you need to install TopIconsFix version 42. Is this the version you have installed?

Thanks for your very quick response. It turned out that only a minimal set of headless jdk files was installed. Adding a reasonably full set fixed it.

All is now well. Sorry to have taken up your time.