[josm-dev] [PATCH] Hide splashscreen when other windows is shown

[Frederik Ramm]

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 frederik at remote.org  ##  N49°00'09" E008°23'33"