?dot_program:Odot_view.dot_program ->
tmp_hash:string ->
unit ->
object
  val mutable current_zoom : float
  val mutable dot_height : int
  val mutable dot_width : int
  val mutable ids : (float * float * float * float * string) list
  method box : GPack.box
  method virtual build_graph : Odot.graph
  method clean_files : unit
  method virtual on_button1_press : x:int -> y:int -> string option -> unit
  method on_button3_press : int -> int -> unit
  method refresh : unit -> unit
  method virtual refresh_data : unit
  method update_info : unit
  method zoom : unit -> unit
end