Class Wpane.formSource

inherit Frama_c_gui.Widget.widget
method add_newline : unit

Inserts an empty line.

method add_section : string -> unit

Starts a new section.

method add_label : string -> unit

Inserts a field name. Moves to right column.

method add_label_widget : GObj.widget -> unit

Inserts a small (fixed) widget in place of a label. Moves to right column.

method add_field : ?label:string -> ?field:field -> GObj.widget -> unit

Inserts an entry in the form. Optional label is inserted in right column is specified. Default field is `Field. Moves to next line.

method add_row : ?field:field -> ?xpadding:int -> ?ypadding:int -> GObj.widget -> unit

Inserts a wide entry in the form, spanning the two columns. Default field is `Field. Moves to next line.