Re: [Mplayer-cvslog] CVS: main/Gui/wm ws.c,1.30,1.31