comparison gui/wm/ws.c @ 34003:a62eb0fc6562

Port r14245 change to wsFullScreen().
author ib
date Fri, 09 Sep 2011 13:57:19 +0000
parents 1b9b9a987ec9
children 7070033cf360
comparison
equal deleted inserted replaced
34002:1b9b9a987ec9 34003:a62eb0fc6562
971 971
972 if (!(vo_fs_type & vo_wm_FULLSCREEN)) { // shouldn't be needed with EWMH fs 972 if (!(vo_fs_type & vo_wm_FULLSCREEN)) { // shouldn't be needed with EWMH fs
973 vo_x11_decoration(wsDisplay, win->WindowID, win->Decorations && !win->isFullScreen); 973 vo_x11_decoration(wsDisplay, win->WindowID, win->Decorations && !win->isFullScreen);
974 vo_x11_sizehint(win->X, win->Y, win->Width, win->Height, 0); 974 vo_x11_sizehint(win->X, win->Y, win->Width, win->Height, 0);
975 vo_x11_setlayer(wsDisplay, win->WindowID, win->isFullScreen); 975 vo_x11_setlayer(wsDisplay, win->WindowID, win->isFullScreen);
976
977 if ((!(win->isFullScreen)) & vo_ontop)
978 vo_x11_setlayer(wsDisplay, win->WindowID, 1);
979
980 XMoveResizeWindow(wsDisplay, win->WindowID, win->X, win->Y, win->Width, win->Height); 976 XMoveResizeWindow(wsDisplay, win->WindowID, win->X, win->Y, win->Width, win->Height);
981 } 977 }
978
979 if ((!(win->isFullScreen)) & vo_ontop)
980 vo_x11_setlayer(wsDisplay, win->WindowID, 1);
982 981
983 wsRaiseWindowTop(wsDisplay, win->WindowID); 982 wsRaiseWindowTop(wsDisplay, win->WindowID);
984 XFlush(wsDisplay); 983 XFlush(wsDisplay);
985 } 984 }
986 985