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

[Jiri Klement]

Hi,

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.

--
Jiri
-------------- next part --------------
A non-text attachment was scrubbed...
Name: splash.patch
Type: application/octet-stream
Size: 1427 bytes
Desc: not available
URL: <http://lists.openstreetmap.org/pipermail/josm-dev/attachments/20081126/75bebc0c/attachment.obj>