14 lines
583 B
Diff
14 lines
583 B
Diff
|
Index: unison-2.40.61/uigtk2.ml
|
||
|
|
===================================================================
|
||
|
|
--- unison-2.40.61.orig/uigtk2.ml
|
||
|
|
+++ unison-2.40.61/uigtk2.ml
|
||
|
|
@@ -2608,7 +2608,7 @@ let twoBoxAdvanced
|
||
|
|
let summaryBox ~parent ~title ~message ~f =
|
||
|
|
let t =
|
||
|
|
GWindow.dialog ~parent ~border_width:6 ~modal:true ~no_separator:true
|
||
|
|
- ~allow_grow:false ~focus_on_map:false () in
|
||
|
|
+ ~allow_grow:false () in
|
||
|
|
t#vbox#set_spacing 12;
|
||
|
|
let h1 = GPack.hbox ~border_width:6 ~spacing:12 ~packing:t#vbox#pack () in
|
||
|
|
ignore (GMisc.image ~stock:`DIALOG_INFO ~icon_size:`DIALOG
|