Frama-C API - highlighter
method set : Wp.Wpo.t option -> unitmethod highlight : Frama_c_gui.Design.reactive_buffer -> Frama_c_gui.Pretty_source.localizable -> start:int -> stop:int -> unit
Frama-C Frama-C highlightermethod set : Wp.Wpo.t option -> unitmethod highlight : Frama_c_gui.Design.reactive_buffer -> Frama_c_gui.Pretty_source.localizable -> start:int -> stop:int -> unit