changeset 35650:75c26c61fd3c

Add comments. Tag some code which needs further investigation.
author ib
date Tue, 15 Jan 2013 09:31:18 +0000
parents 90c0ec2f2f8a
children ebaac70ff6dc
files gui/ui/video.c gui/wm/ws.c
diffstat 2 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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 );
 	   }
--- 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?
 }
 
 // ----------------------------------------------------------------------------------------------