git.annexia.org
/
guestfs-browser.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Version 0.1.3.
[guestfs-browser.git]
/
window.ml
diff --git
a/window.ml
b/window.ml
index
aa32625
..
aac7380
100644
(file)
--- 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 =
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
vmcombo, refresh_button, throbber, static