Hi,

Jiri Klement wrote:
> attached patch automatically hides splashscreen when some window is
> shown (ie missing plugin, broken config, ..). Without the patch splash
> screen blocks the other window making josm unable to start.

Patch applied for r1093.

Bye
Frederik

-- 
Frederik Ramm  ##  eMail [EMAIL PROTECTED]  ##  N49°00'09" E008°23'33"

_______________________________________________
josm-dev mailing list
josm-dev@openstreetmap.org
http://lists.openstreetmap.org/listinfo/josm-dev

Reply via email to