GText.view_skel.3o

Langue: en

Autres versions - même langue

Version: 320183 (ubuntu - 07/07/09)

Section: 3 (Bibliothèques de fonctions)

NAME

GText.view_skel - Widget that displays a GText.buffer

Class

Class GText.view_skel

Documentation

class view_skel : [> Gtk.text_view ] Gtk.obj -> object end

Widget that displays a GText.buffer

Parameters:

""

([> Gtk.text_view ] as 'a) Gtk.obj

val obj : 'a Gtk.obj

method as_view : Gtk.text_view Gtk.obj

method add_child_at_anchor : GObj.widget -> GText.child_anchor -> unit

method add_child_in_window : child:GObj.widget -> which_window:Gtk.Tags.text_window_type -> x:int -> y:int -> unit

method backward_display_line : GText.iter -> bool

method backward_display_line_start : GText.iter -> bool

method buffer : GText.buffer

method buffer_to_window_coords : tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int

method cursor_visible : bool

method editable : bool

method event : GObj.event_ops

method forward_display_line : GText.iter -> bool

method forward_display_line_end : GText.iter -> bool

method get_border_window_size : [ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> int

method get_iter_at_location : x:int -> y:int -> GText.iter

method get_iter_location : GText.iter -> Gdk.Rectangle.t

method get_line_at_y : int -> GText.iter * int

method get_line_yrange : GText.iter -> int * int

method get_window : Gtk.Tags.text_window_type -> Gdk.window option

method get_window_type : Gdk.window -> Gtk.Tags.text_window_type

method indent : int

method justification : Gtk.Tags.justification

method left_margin : int

method misc : GObj.misc_ops

method move_child : child:GObj.widget -> x:int -> y:int -> unit

method move_mark_onscreen : GText.mark -> bool

method move_visually : GText.iter -> int -> bool

method pixels_above_lines : int

method pixels_below_lines : int

method pixels_inside_wrap : int

method place_cursor_onscreen : unit -> bool

method right_margin : int

method scroll_mark_onscreen : GText.mark -> unit

method scroll_to_iter : ?within_margin:float -> ?use_align:bool -> ?xalign:float -> ?yalign:float -> GText.iter -> bool

method scroll_to_mark : ?within_margin:float -> ?use_align:bool -> ?xalign:float -> ?yalign:float -> GText.mark -> unit

method set_border_window_size : typ:[ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> size:int -> unit

method set_buffer : GText.buffer -> unit

method set_cursor_visible : bool -> unit

method set_editable : bool -> unit

method set_indent : int -> unit

method set_justification : Gtk.Tags.justification -> unit

method set_left_margin : int -> unit

method set_pixels_above_lines : int -> unit

method set_pixels_below_lines : int -> unit

method set_pixels_inside_wrap : int -> unit

method set_right_margin : int -> unit

method set_wrap_mode : Gtk.Tags.wrap_mode -> unit

method starts_display_line : GText.iter -> bool

method visible_rect : Gdk.Rectangle.t

method window_to_buffer_coords : tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int

method wrap_mode : Gtk.Tags.wrap_mode