On Fri, 2019-01-04 at 11:29 +0100, Jakub Jelen wrote:
Do you have some josm plugins installed?
Thank you. That was it. My desktop josm had more than a dozen plugins
that had aggregated over the years. I threw them out and reinstalled
the ones I knew I wanted. After that my desktop josm was as responsive
as ever.
Cheers
Robin