diff --git a/sw/supervision/paparazzicenter.glade b/sw/supervision/paparazzicenter.glade index 1f8e129e19..bd3b28cb0f 100644 --- a/sw/supervision/paparazzicenter.glade +++ b/sw/supervision/paparazzicenter.glade @@ -674,7 +674,6 @@ False - 4 True True False @@ -685,17 +684,6 @@ 0 - - - True - False - - - False - True - 1 - - True diff --git a/sw/supervision/pc_aircraft.ml b/sw/supervision/pc_aircraft.ml index 971b27b888..2551bb16b5 100644 --- 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