class window :
object
- (* empty, for now *)
+ (** Return the source tab. *)
+ method source_tab : Source_tab.tab
+
+ (** Set the statusbar text. *)
+ method set_statusbar : string -> unit
+
+ (** Move the progress bar. *)
+ method progress : (int64 * int64) -> unit
+
end