X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=window.ml;h=aac7380bd0c8fa7df3b6072fc58cdeff8adc23ab;hb=refs%2Ftags%2F0.1.3;hp=aa326255c086ea784382c3d74d1806d20253419e;hpb=02614e74adee2a5d499bd557a6adde99a3c56e73;p=guestfs-browser.git

diff --git a/window.ml b/window.ml
index aa32625..aac7380 100644
--- a/window.ml
+++ b/window.ml
@@ -261,7 +261,9 @@ and make_toolbar ~packing () =
   let static = Throbber.static () in
   (*let animation = Throbber.animation () in*)
   let throbber =
-    GMisc.image ~pixbuf:static ~packing:(hbox#pack ~from:`END) () in
+    (* Workaround for http://caml.inria.fr/mantis/view.php?id=4732 *)
+    let from = Obj.magic 3448763 (* `END *) in
+    GMisc.image ~pixbuf:static ~packing:(hbox#pack ~from) () in
 
   vmcombo, refresh_button, throbber, static