2 * Stefano Zacchiroli <zack@cs.unibo.it>
3 * Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
5 * This file is part of lablgtksourceview, the OCaml binding for the
6 * GtkSourceView widget.
8 * lablgtksourceview is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU General Public License as
10 * published by the Free Software Foundation; either version 2 of the
11 * License, or (at your option) any later version.
13 * lablgtksourceview is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * General Public License for more details.
18 * You should have received a copy of the GNU General Public License
19 * along with lablgtksourceview; if not, write to the Free Software
20 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
23 * For details, send a mail to the authors.
28 class source_view_signals :
29 ([> Gtk_sourceview.source_view ] as 'b) obj ->
32 method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
33 method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
34 method delete_from_cursor :
35 callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id
36 method destroy : callback:(unit -> unit) -> GtkSignal.id
37 method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
39 callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) ->
42 callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id
43 method page_horizontally :
44 callback:(int -> extend:bool -> unit) -> GtkSignal.id
45 method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
46 method populate_popup :
47 callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id
48 method redo : callback:(unit -> unit) -> GtkSignal.id
49 method set_anchor : callback:(unit -> unit) -> GtkSignal.id
50 method set_scroll_adjustments :
51 callback:(GData.adjustment option -> GData.adjustment option -> unit) -> GtkSignal.id
52 method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
53 method undo : callback:(unit -> unit) -> GtkSignal.id
57 Gtk_sourceview.source_view Gtk.obj ->
59 inherit GText.view_skel
60 val obj: Gtk_sourceview.source_view Gtk.obj
61 method connect: source_view_signals
62 method set_show_line_numbers : bool -> unit
63 method show_line_numbers : bool
64 method set_show_line_markers : bool -> unit
65 method show_line_markers : bool
66 method set_tabs_width: int -> unit
67 method tabs_width: int
68 method set_auto_indent: bool -> unit
69 method auto_indent: bool
70 method set_insert_spaces_instead_of_tabs: bool -> unit
71 method insert_spaces_instead_of_tabs: bool
72 method set_show_margin: bool -> unit
73 method show_margin: bool
74 method set_margin: int -> unit
76 (* method set_marker_pixbuf: GdkPixbuf.pixbuf -> unit *)
77 (* method marker_pixbuf: GdkPixbuf.pixbuf *)
78 method set_smart_home_end: bool -> unit
79 method smart_home_end: bool
84 ?insert_spaces_instead_of_tabs:bool ->
86 ?show_line_markers:bool ->
87 ?show_line_numbers:bool ->
89 ?smart_home_end:bool ->
92 ?cursor_visible:bool ->
93 ?justification:GtkEnums.justification ->
94 ?wrap_mode:GtkEnums.wrap_mode ->
98 ?packing:(GObj.widget -> unit) ->