Fixups, following up to the user-interface timestamp change.
commit1a1f33668536488bb146bbd83cd0df741c4d9cdc
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 14 May 2011 09:03:53 +0000 (14 02:03 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 14 May 2011 09:03:53 +0000 (14 02:03 -0700)
treef1f561596baac11716afa2b5b82c2245b91b05c8
parent66699ad31291ec329760966945ec4d4ad4688586
Fixups, following up to the user-interface timestamp change.

* nsterm.m (last_mouse_movement_time, ns_mouse_position): Use Time
for UI timestamps, instead of unsigned long.
* w32gui.h (Time): Define by including "systime.h" rather than by
declaring it ourselves.  (Bug#8664)
src/ChangeLog
src/nsterm.m
src/w32gui.h