1
mirror of https://github.com/mpv-player/mpv synced 2025-01-05 03:06:28 +01:00

Restore normal/double size GUI functionality ( broken since EWMH fs support ).

git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@14007 b3059339-0415-0410-9bf9-f77b7e298cf2
This commit is contained in:
al 2004-11-21 15:10:37 +00:00
parent 4dac282b7c
commit 6ed8dbf12e

View File

@ -285,24 +285,28 @@ set_volume:
btnSet( evFullScreen,btnReleased ); btnSet( evFullScreen,btnReleased );
if ( guiIntfStruct.Playing ) if ( guiIntfStruct.Playing )
{ {
appMPlayer.subWindow.isFullScreen=True; if ( appMPlayer.subWindow.isFullScreen )
appMPlayer.subWindow.OldX=( wsMaxX - guiIntfStruct.MovieWidth * 2 ) / 2 + wsOrgX; {
appMPlayer.subWindow.OldY=( wsMaxY - guiIntfStruct.MovieHeight * 2 ) / 2 + wsOrgY; mplFullScreen();
appMPlayer.subWindow.OldWidth=guiIntfStruct.MovieWidth * 2; appMPlayer.subWindow.OldHeight=guiIntfStruct.MovieHeight * 2; }
wsFullScreen( &appMPlayer.subWindow ); wsResizeWindow( &appMPlayer.subWindow, guiIntfStruct.MovieWidth * 2, guiIntfStruct.MovieHeight * 2 );
vo_fs=0; wsMoveWindow( &appMPlayer.subWindow, 0,
( wsMaxX - guiIntfStruct.MovieWidth*2 )/2 + wsOrgX,
( wsMaxY - guiIntfStruct.MovieHeight*2 )/2 + wsOrgY );
} }
break; break;
case evNormalSize: case evNormalSize:
btnSet( evFullScreen,btnReleased ); btnSet( evFullScreen,btnReleased );
if ( guiIntfStruct.Playing ) if ( guiIntfStruct.Playing )
{ {
appMPlayer.subWindow.isFullScreen=True; if ( appMPlayer.subWindow.isFullScreen )
appMPlayer.subWindow.OldX=( wsMaxX - guiIntfStruct.MovieWidth ) / 2 + wsOrgX; {
appMPlayer.subWindow.OldY=( wsMaxY - guiIntfStruct.MovieHeight ) / 2 + wsOrgY; mplFullScreen();
appMPlayer.subWindow.OldWidth=guiIntfStruct.MovieWidth; appMPlayer.subWindow.OldHeight=guiIntfStruct.MovieHeight; }
wsFullScreen( &appMPlayer.subWindow ); wsResizeWindow( &appMPlayer.subWindow, guiIntfStruct.MovieWidth, guiIntfStruct.MovieHeight );
vo_fs=0; wsMoveWindow( &appMPlayer.subWindow, 0,
( wsMaxX - guiIntfStruct.MovieWidth )/2 + wsOrgX,
( wsMaxY - guiIntfStruct.MovieHeight )/2 + wsOrgY );
break; break;
} else if ( !appMPlayer.subWindow.isFullScreen ) break; } else if ( !appMPlayer.subWindow.isFullScreen ) break;
case evFullScreen: case evFullScreen: