# HG changeset patch # User diego # Date 1102890272 0 # Node ID 00bb3326391c501ba0366900ab34f12b39787d6f # Parent 8553a7522a09554c8b4799d0f3cb308b78538b99 printf --> mp_msg diff -r 8553a7522a09 -r 00bb3326391c Gui/interface.c --- a/Gui/interface.c Sun Dec 12 21:43:28 2004 +0000 +++ b/Gui/interface.c Sun Dec 12 22:24:32 2004 +0000 @@ -600,7 +600,7 @@ } break; case guiIEvent: - printf( "cmd: %d\n",(int)arg ); + mp_msg( MSGT_GPLAYER,MSGL_V,"cmd: %d\n",(int)arg ); switch( (int)arg ) { case MP_CMD_QUIT: