# HG changeset patch # User ib # Date 1358242278 0 # Node ID 75c26c61fd3cadc4be395ece95984b0010f1b1be # Parent 90c0ec2f2f8abb63db12efdf687ae8ff5294a4c4 Add comments. Tag some code which needs further investigation. diff -r 90c0ec2f2f8a -r 75c26c61fd3c gui/ui/video.c --- a/gui/ui/video.c Tue Jan 15 09:25:04 2013 +0000 +++ b/gui/ui/video.c Tue Jan 15 09:31:18 2013 +0000 @@ -102,6 +102,7 @@ case wsRLMouseButton: if ( ( !mplVideoMoved )&&( guiApp.videoWindow.isFullScreen ) ) { + // NOTE TO MYSELF: this doesn't work, fix later with wsSetLayer()? if( videoVisible++%2 ) wsRaiseWindowTop( wsDisplay,guiApp.mainWindow.WindowID ); else wsRaiseWindowTop( wsDisplay,guiApp.videoWindow.WindowID ); } diff -r 90c0ec2f2f8a -r 75c26c61fd3c gui/wm/ws.c --- a/gui/wm/ws.c Tue Jan 15 09:25:04 2013 +0000 +++ b/gui/wm/ws.c Tue Jan 15 09:31:18 2013 +0000 @@ -1267,8 +1267,8 @@ */ void wsRaiseWindowTop(Display *display, Window Win) { - XMapRaised(display, Win); - XRaiseWindow(display, Win); + XMapRaised(display, Win); // NOTE TO MYSELF: is that really enough? + XRaiseWindow(display, Win); // NOTE TO MYSELF: is that really enough? } // ----------------------------------------------------------------------------------------------