comparison Gui/wm/ws.c @ 1779:5e905bf5d715

chane wsMoveTop... func.
author pontscho
date Thu, 30 Aug 2001 16:51:37 +0000
parents 5e4214a7540e
children dce42eebfda4
comparison
equal deleted inserted replaced
1778:6adf80f99796 1779:5e905bf5d715
597 if ( wsWindowList[l]->MouseHandler ) 597 if ( wsWindowList[l]->MouseHandler )
598 wsWindowList[l]->MouseHandler( i,Event->xbutton.x,Event->xbutton.y,Event->xmotion.x_root,Event->xmotion.y_root ); 598 wsWindowList[l]->MouseHandler( i,Event->xbutton.x,Event->xbutton.y,Event->xmotion.x_root,Event->xmotion.y_root );
599 break; 599 break;
600 600
601 case PropertyNotify: 601 case PropertyNotify:
602 break;
602 // fprintf(stderr,"[ws] PropertyNotify %s\n",XGetAtomName( wsDisplay,Event->xproperty.atom ) ); 603 // fprintf(stderr,"[ws] PropertyNotify %s\n",XGetAtomName( wsDisplay,Event->xproperty.atom ) );
603 if ( Event->xproperty.atom == wsWindowList[l]->AtomRemote ) 604 if ( Event->xproperty.atom == wsWindowList[l]->AtomRemote )
604 { 605 {
605 Atom type; 606 Atom type;
606 int format; 607 int format;
849 850
850 // ---------------------------------------------------------------------------------------------- 851 // ----------------------------------------------------------------------------------------------
851 // Move top the window. 852 // Move top the window.
852 // ---------------------------------------------------------------------------------------------- 853 // ----------------------------------------------------------------------------------------------
853 void wsMoveTopWindow( wsTWindow * win ) 854 void wsMoveTopWindow( wsTWindow * win )
854 { XRaiseWindow( wsDisplay,win->WindowID ); } 855 //{ XRaiseWindow( wsDisplay,win->WindowID ); }
855 //{ XUnmapWindow( wsDisplay,win.WindowID ); XMapWindow( wsDisplay,win.WindowID ); } 856 { XUnmapWindow( wsDisplay,win->WindowID ); XMapWindow( wsDisplay,win->WindowID ); }
856 857
857 // ---------------------------------------------------------------------------------------------- 858 // ----------------------------------------------------------------------------------------------
858 // Set window background to 'color'. 859 // Set window background to 'color'.
859 // ---------------------------------------------------------------------------------------------- 860 // ----------------------------------------------------------------------------------------------
860 void wsSetBackground( wsTWindow * win,int color ) 861 void wsSetBackground( wsTWindow * win,int color )