diff Gui/wm/ws.c @ 6622:da08877b9512

fix window hiding bug with some wms (kde, gnome, icewm, mwm, wmaker)
author pontscho
date Tue, 02 Jul 2002 21:10:42 +0000
parents f554e7271587
children 8f49c75a2824
line wrap: on
line diff
--- a/Gui/wm/ws.c	Tue Jul 02 20:29:27 2002 +0000
+++ b/Gui/wm/ws.c	Tue Jul 02 21:10:42 2002 +0000
@@ -662,16 +662,16 @@
 	 if ( !strncmp( name,"_ICEWM_TRAY",11 ) )
 	  {
 	   wsWMType=wsWMIceWM;
-	   mp_dbg( MSGT_GPLAYER,MSGL_STATUS,"[ws] Detected wm is IceWM.\n" );
+//	   mp_dbg( MSGT_GPLAYER,MSGL_STATUS,"[ws] Detected wm is IceWM.\n" );
 	  }
 	 if ( !strncmp( name,"_KDE_",5 ) )
 	  {
-	   mp_dbg( MSGT_GPLAYER,MSGL_STATUS,"[ws] Detected wm is KDE.\n" );
+//	   mp_dbg( MSGT_GPLAYER,MSGL_STATUS,"[ws] Detected wm is KDE.\n" );
 	   wsWMType=wsWMKDE;
 	  }
 	 if ( !strncmp( name,"KWM_WIN_DESKTOP",15 ) )
 	  {
-	   mp_dbg( MSGT_GPLAYER,MSGL_STATUS,"[ws] Detected wm is WindowMaker style.\n" );
+//	   mp_dbg( MSGT_GPLAYER,MSGL_STATUS,"[ws] Detected wm is WindowMaker style.\n" );
 	   wsWMType=wsWMWMaker;
 	  }