# # patch "unidiff.ml" # from [2fa4f626d13a7b293abeb5ad72c388d69347a622] # to [27d78ed2191d1fb186ad09637874b4832c59b480] # --- unidiff.ml +++ unidiff.ml @@ -105,6 +105,7 @@ let window = GWindow.dialog ~no_separator:true ?parent ~title:"Monotone diff output" + ~type_hint:`NORMAL ~icon:(Lazy.force Icon.monotone) () in window#add_button_stock `SAVE `SAVE ; window#add_button_stock `CLOSE `CLOSE ;