All input device add-ons should already do this, but make sure that

mouse messages have a "when" field with the event system time.


git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@26328 a95241bf-73f2-0310-859d-f6bbb57e9c96

src/servers/input/InputServer.cpp

@@ -1492,6 +1492,9 @@ InputServer::_SanitizeEvents(EventList& events)
 					PRINT(("new position : %f, %f\n", fMousePos.x, fMousePos.y));
 				}
 
+				if (!event->HasInt64("when"))
+					event->AddInt64("when", system_time());
+
 				event->AddInt32("modifiers", fKeyInfo.modifiers);
 				break;
 	   		}