# HG changeset patch
# User ib
# Date 1358184465 0
# Node ID a30496350cb935957ca72d47ce6611ab6f7b9385
# Parent  0e0775a09c9770a60f9d2730e5f070d00f180c9f
Don't allow shrinking the main window.

Its fixed size is defined in the skin file.

diff -r 0e0775a09c97 -r a30496350cb9 gui/interface.c
--- a/gui/interface.c	Mon Jan 14 15:22:16 2013 +0000
+++ b/gui/interface.c	Mon Jan 14 17:27:45 2013 +0000
@@ -184,7 +184,7 @@
 
 // i=wsHideFrame|wsMaxSize|wsHideWindow;
 // if ( guiApp.mainDecoration ) i=wsShowFrame|wsMaxSize|wsHideWindow;
-    i = wsShowFrame | wsMaxSize | wsHideWindow;
+    i = wsShowFrame | wsMinSize | wsMaxSize | wsHideWindow;
     wsCreateWindow(&guiApp.mainWindow, guiApp.main.x, guiApp.main.y, guiApp.main.width, guiApp.main.height, wsNoBorder, wsShowMouseCursor | wsHandleMouseButton | wsHandleMouseMove, i, "MPlayer");
     wsSetShape(&guiApp.mainWindow, guiApp.main.Mask.Image);
     wsXDNDMakeAwareness(&guiApp.mainWindow);
diff -r 0e0775a09c97 -r a30496350cb9 gui/ui/actions.c
--- a/gui/ui/actions.c	Mon Jan 14 15:22:16 2013 +0000
+++ b/gui/ui/actions.c	Mon Jan 14 17:27:45 2013 +0000
@@ -232,7 +232,7 @@
 
     wsDestroyWindow(&guiApp.mainWindow);
 
-    wsCreateWindow(&guiApp.mainWindow, guiApp.main.x, guiApp.main.y, guiApp.main.width, guiApp.main.height, wsNoBorder, wsShowMouseCursor | wsHandleMouseButton | wsHandleMouseMove, wsShowFrame | wsMaxSize | wsHideWindow, "MPlayer");
+    wsCreateWindow(&guiApp.mainWindow, guiApp.main.x, guiApp.main.y, guiApp.main.width, guiApp.main.height, wsNoBorder, wsShowMouseCursor | wsHandleMouseButton | wsHandleMouseMove, wsShowFrame | wsMinSize | wsMaxSize | wsHideWindow, "MPlayer");
     wsCreateImage(&guiApp.mainWindow, guiApp.main.Bitmap.Width, guiApp.main.Bitmap.Height);
     wsSetShape(&guiApp.mainWindow, guiApp.main.Mask.Image);
     wsSetIcon(wsDisplay, guiApp.mainWindow.WindowID, &guiIcon);