[josm-dev] Java menu disappears

[Dieter Muecke]

HEAD version of JOSM comes along with a nasty bug I don't know how to  
catch. The issue is already reported in #3030. I've started debug  
session to see where it disappears but in debug mode everything works  
as expected. Next I started to comment out code to see if I can find  
the line where it happens. So far I found following  task =  
Main.worker.submit(t, t); in  DownLoadOsmTaks.download().
It looks to me like a specific Mac theme bug and I wonder exists a  
command to redraw the menu after data download? I tried updateUI()  
without any luck.

Any hints are much appreciated,
Dieter