[gnome-documents/gnome-3-2] window: set the default size, not the size request

[Cosimo Cecchi <cosimoc src gnome org>]

commit f3b4458f8b3e14aa8e75c4763a195a2d30988908
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Thu Sep 29 18:38:21 2011 -0400

    window: set the default size, not the size request
    
    Otherwise the window won't be able to shrink below the initial size.

 src/mainWindow.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/mainWindow.js b/src/mainWindow.js
index c456aae..de5aedc 100644
--- a/src/mainWindow.js
+++ b/src/mainWindow.js
@@ -55,7 +55,7 @@ MainWindow.prototype = {
             let width = size.get_child_value(0);
             let height = size.get_child_value(1);
 
-            this.window.set_size_request(width.get_int32(),
+            this.window.set_default_size(width.get_int32(),
                                          height.get_int32());
         }