Class OgtkTextProps.text_view_props

val virtual obj : [> `textview ] Gobject.obj
method set_editable : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool -> unit
method set_cursor_visible : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool -> unit
method set_indent : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int -> unit
method set_justification : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> GtkEnums.justification -> unit
method set_left_margin : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int -> unit
method set_pixels_above_lines : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int -> unit
method set_pixels_below_lines : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int -> unit
method set_pixels_inside_wrap : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int -> unit
method set_right_margin : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int -> unit
method set_wrap_mode : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> GtkEnums.wrap_mode -> unit
method set_accepts_tab : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool -> unit
method set_bottom_margin : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int -> unit
method set_im_module : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> string -> unit
method set_input_hints : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> GtkEnums.input_hints -> unit
method set_input_purpose : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> GtkEnums.input_purpose -> unit
method set_monospace : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool -> unit
method set_overwrite : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool -> unit
method set_populate_all : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool -> unit
method set_top_margin : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int -> unit
method editable : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool
method cursor_visible : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool
method indent : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int
method justification : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> GtkEnums.justification
method left_margin : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int
method pixels_above_lines : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int
method pixels_below_lines : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int
method pixels_inside_wrap : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int
method right_margin : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int
method wrap_mode : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> GtkEnums.wrap_mode
method accepts_tab : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool
method bottom_margin : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int
method im_module : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> string
method input_hints : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> GtkEnums.input_hints
method input_purpose : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> GtkEnums.input_purpose
method monospace : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool
method overwrite : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool
method populate_all : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> bool
method top_margin : < accepts_tab : bool; bottom_margin : int; cursor_visible : bool; editable : bool; im_module : string; indent : int; input_hints : GtkEnums.input_hints; input_purpose : GtkEnums.input_purpose; justification : GtkEnums.justification; left_margin : int; monospace : bool; overwrite : bool; pixels_above_lines : int; pixels_below_lines : int; pixels_inside_wrap : int; populate_all : bool; right_margin : int; set_accepts_tab : bool -> unit; set_bottom_margin : int -> unit; set_cursor_visible : bool -> unit; set_editable : bool -> unit; set_im_module : string -> unit; set_indent : int -> unit; set_input_hints : GtkEnums.input_hints -> unit; set_input_purpose : GtkEnums.input_purpose -> unit; set_justification : GtkEnums.justification -> unit; set_left_margin : int -> unit; set_monospace : bool -> unit; set_overwrite : bool -> unit; set_pixels_above_lines : int -> unit; set_pixels_below_lines : int -> unit; set_pixels_inside_wrap : int -> unit; set_populate_all : bool -> unit; set_right_margin : int -> unit; set_top_margin : int -> unit; set_wrap_mode : GtkEnums.wrap_mode -> unit; top_margin : int; wrap_mode : GtkEnums.wrap_mode; .. > -> int