Windows: patched launch4j to reduce the delay between pollings for the main

window. Fixes #4215

Author: Federico Fissore

build/build.xml

@@ -861,6 +861,8 @@
     <delete dir="windows/launcher/launch4j"/>
     <antcall target="download-${launch4j-download-unpack-target-name}" />
 
+    <patch patchfile="windows/launcher.timer.patch" strip="1" dir="windows/launcher/launch4j/"/>
+
     <property name="launch4j.dir" value="windows/launcher/launch4j/" />
     <taskdef name="launch4j"
 	     classname="net.sf.launch4j.ant.Launch4jTask"

build/windows/launcher.timer.patch

@@ -0,0 +1,13 @@
+diff --git a/head_src/guihead/guihead.c b/head_src/guihead/guihead.c
+index f0d9935..c6599f0 100644
+--- a/head_src/guihead/guihead.c
++++ b/head_src/guihead/guihead.c
+@@ -120,7 +120,7 @@ int APIENTRY WinMain(HINSTANCE hInstance,
+ 	{
+ 		if (splash || stayAlive)
+ 		{
+-			if (!SetTimer (hWnd, ID_TIMER, 1000 /* 1s */, TimerProc))
++			if (!SetTimer (hWnd, ID_TIMER, 100, TimerProc))
+ 			{
+ 				signalError();
+ 				return 1;