shell: Convert type of position to double from int
authorJaehoon Jeong <jh01.j@samsung.com>
Fri, 25 Sep 2015 05:29:05 +0000 (14:29 +0900)
committerJaehoon Jeong <jh01.j@samsung.com>
Wed, 30 Sep 2015 05:20:09 +0000 (14:20 +0900)
commit9fc3dd9b0b8c154c0a8adf1f40f94eedee610f9f
tree8d160a622dadad7cbc695388f3de45a4031a71a1
parentc4186abf633021ccaab40a6d5f5efb4d16dc2045
shell: Convert type of position to double from int

    - minor code cleanup

Change-Id: I49ba0becf081abea61a08f9ccda1649152bf3b46
src/lib/desktop-shell/desktop-shell-internal.h
src/lib/desktop-shell/shell-surface.c