diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2009-03-01 14:10:06 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2009-03-01 14:10:06 +0000 |
| commit | c9f49ee956fac4088c327055beaf8ea996c2049a (patch) | |
| tree | 8ce620ae7e27567f511fb73e67bb18633c98f657 /multimedia/mplayer | |
| parent | 81c6807c61b5b6a3fbeba3aa651d4dcbbced9e28 (diff) | |
| download | ports-c9f49ee956fac4088c327055beaf8ea996c2049a.tar.gz ports-c9f49ee956fac4088c327055beaf8ea996c2049a.zip | |
Notes
Diffstat (limited to 'multimedia/mplayer')
| -rw-r--r-- | multimedia/mplayer/Makefile | 2 | ||||
| -rw-r--r-- | multimedia/mplayer/files/patch-gui-wm_wc.c | 10 |
2 files changed, 11 insertions, 1 deletions
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 |