Module Frama_c_gui.Wtable

Table Views

type ('a, 'b) column = ?title:string -> 'b list -> ( 'a -> 'b list ) -> GTree.view_column
class type 'a columns = object ... end
class type 'a listmodel = object ... end
class 'a list : ?packing:( GObj.widget -> unit ) -> ?width:int -> ?height:int -> ?headers:bool -> ?rules:bool -> 'a listmodel -> object ... end
class type 'a treemodel = object ... end
class 'a tree : ?packing:( GObj.widget -> unit ) -> ?width:int -> ?height:int -> ?headers:bool -> ?rules:bool -> 'a treemodel -> object ... end