X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=window.ml;fp=window.ml;h=aa33b79f9ef1645173c67ce50ad57faf65505e69;hb=09ea87581a3b9004075c3e76450db821c1db4d0b;hp=6ede415e361fa64a22660a38c559e4972cb44c97;hpb=1d7c4274827064c684d831c9ef51b198ba8798a2;p=guestfs-browser.git diff --git a/window.ml b/window.ml index 6ede415..aa33b79 100644 --- a/window.ml +++ b/window.ml @@ -73,13 +73,13 @@ and make_toolbar ~packing () = (* Throbber. *) let static = Throbber.static () in - (*let animation = Throbber.animation () in*) + let animation = Throbber.animation () in let throbber = (* 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 + vmcombo, refresh_button, throbber, static, animation and make_filetree ~packing () = (* Create the filetree inside a scrolled window. *) @@ -126,7 +126,7 @@ class window = make_menubar window vbox ~packing:vbox#pack () in (* Top toolbar. *) - let vmcombo, refresh_button, throbber, throbber_static = + let vmcombo, refresh_button, throbber, throbber_static, throbber_animation = make_toolbar ~packing:vbox#pack () in (* Main part of display is the file tree. *) @@ -250,10 +250,7 @@ object (self) (* Public callbacks. *) method throbber_busy () = - (*throbber#set_pixbuf animation*) - (* XXX Workaround because no binding for GdkPixbufAnimation: *) - let file = Filename.dirname Sys.argv.(0) // "Throbber.gif" in - throbber#set_file file + throbber#set_pixbuf throbber_animation method throbber_idle () = throbber#set_pixbuf throbber_static