Fix bug #9644, slow response from building queues. Patch by Watermelon:

Makes doubleclick state a condition for mousePressed, so that widget 
can recognize the 'down' state in a double click state correctly.


git-svn-id: svn+ssh://svn.gna.org/svn/warzone/trunk@2325 4a71c877-e1ca-e34f-864e-861f7616d084

lib/framework/input.c

@@ -501,6 +501,7 @@ BOOL mouseDClicked(MOUSE_KEY_CODE code)
 BOOL mousePressed(MOUSE_KEY_CODE code)
 {
 	return ((aMouseState[code].state == KEY_PRESSED) ||
+			(aMouseState[code].state == KEY_DOUBLECLICK) ||
 			(aMouseState[code].state == KEY_PRESSRELEASE));
 }