[gnome-mines] Set a reasonable size request for the main window

[Michael Catanzaro <mcatanzaro src gnome org>]

commit d7681d884f8e4cd6b15cf70b31266765ad91f815
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Wed Apr 16 22:09:54 2014 -0500

    Set a reasonable size request for the main window
    
    Otherwise, the window can be resized to excessively small sizes. Besides
    being unuseful in its own right, this causes the window to expand when
    pausing the game, since pausing the game adds more buttons.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=727960

 src/gnome-mines.vala |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index e338660..29878fe 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -138,6 +138,7 @@ public class Mines : Gtk.Application
         window.focus_out_event.connect (window_focus_out_event_cb);
         window.focus_in_event.connect (window_focus_in_event_cb);
         window.set_default_size (settings.get_int ("window-width"), settings.get_int ("window-height"));
+        window.set_size_request (550, 550);
         if (settings.get_boolean ("window-is-maximized"))
             window.maximize ();