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

This commit is contained in:
Gautier Hattenberger
2014-10-09 11:19:19 +02:00
parent c9f1d12be7
commit 3ca680e959
2 changed files with 0 additions and 14 deletions
-12
View File
@@ -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>
-2
View File
@@ -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