[pitivi] Set a better default size for the preference window. Fixes #593663.

[Edward Hervey <edwardrv src gnome org>]

commit a39fbabcf0e32b4446a199160c563757357c5bdf
Author: Alessandro Decina <alessandro d gmail com>
Date:   Sun Feb 21 19:18:06 2010 +0100

    Set a better default size for the preference window. Fixes #593663.

 pitivi/ui/prefs.py |   12 +++++++-----
 1 files changed, 7 insertions(+), 5 deletions(-)
---
diff --git a/pitivi/ui/prefs.py b/pitivi/ui/prefs.py
index 7ce114b..91ccefe 100644
--- a/pitivi/ui/prefs.py
+++ b/pitivi/ui/prefs.py
@@ -31,12 +31,12 @@ from pitivi.settings import GlobalSettings
 GlobalSettings.addConfigOption('prefsDialogWidth',
     section = "user-interface",
     key = "prefs-dialog-width",
-    default = 400)
+    default = 600)
 
 GlobalSettings.addConfigOption('prefsDialogHeight',
     section = "user-interface",
     key = "prefs-dialog-height",
-    default = 300)
+    default = 400)
 
 class PreferencesDialog(gtk.Window):
 
@@ -52,14 +52,16 @@ class PreferencesDialog(gtk.Window):
         self._current = None
         self._createUi()
         self._fillContents()
-    
+        min_width, min_height = self.contents.size_request()
+        width = max(min_width, self.settings.prefsDialogWidth)
+        height = max(min_height, self.settings.prefsDialogHeight)
+        self.set_default_size(width, height)
+
     def _createUi(self):
         self.set_title(_("Preferences"))
         self.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG)
         self.set_border_width(12)
         self.connect("configure-event", self._configureCb)
-        self.set_default_size(self.settings.prefsDialogWidth,
-            self.settings.prefsDialogHeight)
 
         # basic layout
         vbox = gtk.VBox()