From 2855b1f24f16226c8f7dea997e6d9b7c51db9294 Mon Sep 17 00:00:00 2001
From: Stefan Sauer <ensonic@users.sf.net>
Date: Tue, 19 Oct 2010 23:04:42 +0300
Subject: [PATCH] app: use a hpane instead of the file-chooser preview widget

This allows the user to modify the size.
---
 mediainfo/src/mi-app.vala | 23 +++++++++++++----------
 1 file changed, 13 insertions(+), 10 deletions(-)

diff --git a/mediainfo/src/mi-app.vala b/mediainfo/src/mi-app.vala
index 473336302d..74da379b77 100644
--- a/mediainfo/src/mi-app.vala
+++ b/mediainfo/src/mi-app.vala
@@ -29,25 +29,28 @@ public class MediaInfo.App : Window
   {
     // configure the window
     set_title (_("GStreamer Media Info"));
-    set_default_size (400, 300);
+    set_default_size (500, 350);
     destroy.connect (Gtk.main_quit);
     
-    VBox vbox = new VBox(false, 0);
+    VBox vbox = new VBox( false, 0);
     add (vbox);
     
     // add a menubar
     vbox.pack_start (create_menu(), false, false, 0);
+
+    HPaned paned = new HPaned ();
+    vbox.pack_start (paned, true, true, 3);
     
     // add a file-chooser with info pane as preview widget
     chooser = new FileChooserWidget (FileChooserAction.OPEN);
-    vbox.pack_start (chooser, true, true, 3);
+    paned.pack1 (chooser, true, true);
 
-    info = new Info ();
-    chooser.set_preview_widget (info);
-    chooser.set_use_preview_label (false);
     chooser.set_current_folder (GLib.Environment.get_home_dir ());
     chooser.set_show_hidden (false);
-    chooser.update_preview.connect (on_update_preview);
+    chooser.selection_changed.connect (on_update_preview);
+
+    info = new Info ();
+    paned.pack2 (info, true, true);
   }
 
   // helper
@@ -79,11 +82,11 @@ public class MediaInfo.App : Window
 
   private void on_update_preview ()
   {
-    File file = chooser.get_preview_file();
+    File file = chooser.get_file();
     bool res = false;
 
-    if (file.query_file_type (FileQueryInfoFlags.NONE, null) == FileType.REGULAR) {
-      res = info.discover (chooser.get_preview_uri());
+    if (file != null && file.query_file_type (FileQueryInfoFlags.NONE, null) == FileType.REGULAR) {
+      res = info.discover (chooser.get_uri());
     }
     chooser.set_preview_widget_active (res);
   }