Class Odiff_box.string_window

class string_window : string -> string -> Odiff.diff list -> object .. end

The window to display differences.

val mutable line : int

The current position

method window : GWindow.window

method insert_line : ?line:int -> ?fgcolor:string -> ?bgcolor:string -> string -> unit

method display : unit

method show_next_diff : unit

method show_prev_diff : unit