Slave.set_failure_hook (Window.failure ws);
Slave.set_busy_hook (Window.throbber_busy ws);
Slave.set_idle_hook (Window.throbber_idle ws);
+ Slave.set_status_hook (Window.set_statusbar ws);
Slave.set_progress_hook (Window.progress ws);
(* What did the user request on the command line? *)