# 
# patch "ui.ml"
#  from [f6d0ab07a69e60af4de577f0bae85fe96a6d1f05]
#    to [401c2a161d4e5304ad43276c34d4592fdddbb60c]
# 
--- ui.ml
+++ ui.ml
@@ -230,7 +230,7 @@
 	~xalign:0. 
 	~packing () in
     let al = GBin.alignment ~border_width:8 ~packing () in
-    al#set_left_padding 16 ;
+    al#misc#set_property "left-padding" (`INT 16) ;
     (GPack.vbox ~packing:al#add ())#pack
 
   let make v () =