[gitg] files: better packing for paned



commit 8bd3f661b16459044a09496ac1f78347d707590f
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Thu Jul 18 20:00:31 2013 +0200

    files: better packing for paned

 plugins/files/gitg-files.vala |   29 -----------------------------
 1 files changed, 0 insertions(+), 29 deletions(-)
---
diff --git a/plugins/files/gitg-files.vala b/plugins/files/gitg-files.vala
index 15fe8d0..b9bd702 100644
--- a/plugins/files/gitg-files.vala
+++ b/plugins/files/gitg-files.vala
@@ -30,7 +30,6 @@ namespace GitgFiles
                private TreeStore d_model;
                private Gtk.Paned d_paned;
                private GtkSource.View d_source;
-               private Settings d_interfacesettings;
                private Settings d_fontsettings;
                private Settings d_stylesettings;
 
@@ -45,7 +44,6 @@ namespace GitgFiles
                construct
                {
                        d_model = new TreeStore();
-                       d_interfacesettings = new Settings("org.gnome.gitg.preferences.interface");
 
                        history.selection_changed.connect(on_selection_changed);
                }
@@ -100,24 +98,6 @@ namespace GitgFiles
                        }
                }
 
-               private void update_packing()
-               {
-                       var layout = d_interfacesettings.get_enum("orientation");
-                       d_paned.remove(d_scrolled);
-                       d_paned.remove(d_scrolled_files);
-
-                       if (layout == Gtk.Orientation.HORIZONTAL)
-                       {
-                               d_paned.pack1(d_scrolled, true, true);
-                               d_paned.pack2(d_scrolled_files, false, true);
-                       }
-                       else
-                       {
-                               d_paned.pack2(d_scrolled, true, true);
-                               d_paned.pack1(d_scrolled_files, false, true);
-                       }
-               }
-
                private void build_ui()
                {
                        var ret = GitgExt.UI.from_builder("files/view-files.ui",
@@ -164,15 +144,6 @@ namespace GitgFiles
                                update_style();
                        }
 
-                       if (d_interfacesettings != null)
-                       {
-                               d_interfacesettings.changed["orientation"].connect((s, k) => {
-                                       update_packing();
-                               });
-
-                               update_packing();
-                       }
-
                        d_whenMapped = new Gitg.WhenMapped(d_paned);
                        on_selection_changed(history);
                }


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]