GSourceView.source_view.3o

Langue: en

Version: 289184 (debian - 07/07/09)

Section: 3 (Bibliothèques de fonctions)

NAME

GSourceView.source_view - no description

Class

Class GSourceView.source_view

Documentation

class source_view : GtkSourceView_types.source_view Gtk.obj -> object end

Parameters:

""

GtkSourceView_types.source_view Gtk.obj

val obj : GtkSourceView_types.source_view Gtk.obj

method connect : GSourceView.source_view_signals

method source_buffer : GSourceView.source_buffer

method set_show_line_numbers : bool -> unit

method show_line_numbers : bool

method set_show_line_markers : bool -> unit

method show_line_markers : bool

method set_highlight_current_line : bool -> unit

method highlight_current_line : bool

method set_tabs_width : int -> unit

method tabs_width : int

method set_auto_indent : bool -> unit

method auto_indent : bool

method set_insert_spaces_instead_of_tabs : bool -> unit

method insert_spaces_instead_of_tabs : bool

method set_show_margin : bool -> unit

method show_margin : bool

method set_margin : int -> unit

method margin : int

method set_marker_pixbuf : string -> GdkPixbuf.pixbuf -> unit

method marker_pixbuf : string -> GdkPixbuf.pixbuf

method set_smart_home_end : bool -> unit

method smart_home_end : bool

method set_cursor_color : Gdk.color -> unit

method set_cursor_color_by_name : string -> unit