[paparazzicenter] settings area adapt its size (no more scrollbar)

paparazzi · Oct 9, 2014 · 3ca680e · 3ca680e
1 parent c9f1d12
commit 3ca680e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 14 deletions.
diff --git a/sw/supervision/paparazzicenter.glade b/sw/supervision/paparazzicenter.glade
@@ -674,7 +674,6 @@
                                             <property name="can_focus">False</property>
                                             <child>
                                               <widget class="GtkTreeView" id="tree_settings">
-                                                <property name="height_request">4</property>
                                                 <property name="visible">True</property>
                                                 <property name="can_focus">True</property>
                                                 <property name="headers_visible">False</property>
@@ -685,17 +684,6 @@
                                                 <property name="position">0</property>
                                               </packing>
                                             </child>
-                                            <child>
-                                              <widget class="GtkVScrollbar" id="tree_settings_scrollbar">
-                                                <property name="visible">True</property>
-                                                <property name="can_focus">False</property>
-                                              </widget>
-                                              <packing>
-                                                <property name="expand">False</property>
-                                                <property name="fill">True</property>
-                                                <property name="position">1</property>
-                                              </packing>
-                                            </child>
                                             <child>
                                               <widget class="GtkVBox" id="vbox2">
                                                 <property name="visible">True</property>

diff --git a/sw/supervision/pc_aircraft.ml b/sw/supervision/pc_aircraft.ml
@@ -266,8 +266,6 @@ let parse_ac_flash = fun target flash_combo ac_file ->
 let ac_combo_handler = fun gui (ac_combo:Gtk_tools.combo) target_combo flash_combo (log:string->unit) ->
   (* build tree for settings *)
   let tree_set = Gtk_tools.tree ~check_box:true gui#tree_settings in
-  (* attach vertical scrollbar *)
-  gui#tree_settings#set_vadjustment gui#tree_settings_scrollbar#adjustment;
   (* build tree for modules settings *)
   let tree_set_mod = Gtk_tools.tree ~check_box:true gui#tree_settings_modules in