pepper: Use double for Change pointer coordinate value
authorTaekyun Kim <tkq.kim@samsung.com>
Wed, 16 Sep 2015 08:04:04 +0000 (17:04 +0900)
committerTaekyun Kim <tkq.kim@samsung.com>
Wed, 16 Sep 2015 08:09:31 +0000 (17:09 +0900)
commit0c2bd65b211b19b1af7c295c65ff313ece218c19
treeec5d7d5dbca5fc760364993f4de01eb37d35b4be
parentdfd4951bf20514281759fb383746ce1a2aea6ea4
pepper: Use double for Change pointer coordinate value

Change-Id: I1e78e224031b2cc0c38084588fe7db442587a0c3
src/lib/desktop-shell/desktop-shell-internal.h
src/lib/pepper/pepper.h
src/lib/pepper/pointer.c