?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