# HG changeset patch
# User ib
# Date 1392600485 0
# Node ID 666757381a27e0f18a1b20de23db7f57a13e53a3
# Parent  e75c4955c3774a189ca911d259913e420d9f91f9
Avoid pointer cast warnings.

Fixes "cast from pointer to integer of different size" warnings.

This is corresponding to r36858.

diff -r e75c4955c377 -r 666757381a27 gui/win32/interface.c
--- a/gui/win32/interface.c	Mon Feb 17 00:45:06 2014 +0000
+++ b/gui/win32/interface.c	Mon Feb 17 01:28:05 2014 +0000
@@ -30,6 +30,7 @@
 #endif
 
 #include <windows.h>
+#include <stdint.h>
 
 #if defined(__CYGWIN__) || defined(__WINE__)
 #define _beginthreadex CreateThread
@@ -685,7 +686,7 @@
             break;
         case GUI_SET_STATE:
         {
-            guiInfo.Playing = (int) data;
+            guiInfo.Playing = (intptr_t) data;
             switch (guiInfo.Playing)
             {
                 case GUI_PLAY:
@@ -709,9 +710,9 @@
         }
         case GUI_RUN_COMMAND:
         {
-            mp_msg(MSGT_GPLAYER,MSGL_V, "cmd: %d\n", (int) data);
+            mp_msg(MSGT_GPLAYER,MSGL_V, "cmd: %d\n", (int)(intptr_t) data);
             /* MPlayer asks us to quit */
-            switch((int) data)
+            switch((intptr_t) data)
             {
                 case MP_CMD_VO_FULLSCREEN:
                     uiFullScreen();