diff --git a/multimedia/mplayer/Makefile b/multimedia/mplayer/Makefile index 9459784b69bd..a2174d87ad2a 100644 --- a/multimedia/mplayer/Makefile +++ b/multimedia/mplayer/Makefile @@ -7,7 +7,7 @@ PORTNAME= mplayer PORTVERSION= ${MPLAYER_PORT_VERSION} -PORTREVISION= 11 +PORTREVISION= 12 COMMENT= High performance media player supporting many formats diff --git a/multimedia/mplayer/files/patch-gui-wm_wc.c b/multimedia/mplayer/files/patch-gui-wm_wc.c new file mode 100644 index 000000000000..1e18b799f03e --- /dev/null +++ b/multimedia/mplayer/files/patch-gui-wm_wc.c @@ -0,0 +1,10 @@ +--- gui/wm/ws.c.orgi 2009-03-01 14:37:10.000000000 +0100 ++++ gui/wm/ws.c 2009-03-01 14:37:30.000000000 +0100 +@@ -1157,6 +1157,7 @@ + win->xImage->data=win->Shminfo.shmaddr; + win->Shminfo.readOnly=0; + XShmAttach( wsDisplay,&win->Shminfo ); ++ XSync(wsDisplay, False); + shmctl( win->Shminfo.shmid,IPC_RMID,0 ); + } + else