(* Copyright (C) 2005: * Stefano Zacchiroli * Claudio Sacerdoti Coen * * This file is part of lablgtksourceview, the OCaml binding for the * GtkSourceView widget. * * lablgtksourceview is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License as * published by the Free Software Foundation; either version 2 of the * License, or (at your option) any later version. * * lablgtksourceview is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * General Public License for more details. * * You should have received a copy of the GNU General Public License * along with lablgtksourceview; if not, write to the Free Software * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA * 02111-1307, USA. * * For details, send a mail to the authors. *) open Gtk (** {2 GtkSourceBuffer} *) class source_buffer_signals: ([> Gtk_sourceview.source_buffer ] as 'b) obj -> object ('a) method after : 'a method apply_tag : callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.id method begin_user_action : callback:(unit -> unit) -> GtkSignal.id method can_redo : callback:(bool -> unit) -> GtkSignal.id method can_undo : callback:(bool -> unit) -> GtkSignal.id method changed : callback:(unit -> unit) -> GtkSignal.id method private connect : 'c. ('b, 'c) GtkSignal.t -> callback:'c -> GtkSignal.id method delete_range : callback:(start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.id method end_user_action : callback:(unit -> unit) -> GtkSignal.id method highlight_updated : callback:(Gtk.text_iter -> Gtk.text_iter -> unit) -> GtkSignal.id method insert_child_anchor : callback:(GText.iter -> Gtk.text_child_anchor -> unit) -> GtkSignal.id method insert_pixbuf : callback:(GText.iter -> GdkPixbuf.pixbuf -> unit) -> GtkSignal.id method insert_text : callback:(GText.iter -> string -> unit) -> GtkSignal.id method mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id method mark_set : callback:(GText.iter -> Gtk.text_mark -> unit) -> GtkSignal.id method marker_updated : callback:(Gtk.text_iter -> unit) -> GtkSignal.id method modified_changed : callback:(unit -> unit) -> GtkSignal.id method remove_tag : callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.id end class source_buffer: Gtk_sourceview.source_buffer Gtk.obj -> object inherit GText.buffer_skel method connect: source_buffer_signals method misc: GObj.gobject_ops method check_brackets: bool method set_check_brackets: bool -> unit (* method set_bracket_match_style: tag_style -> unit *) method highlight: bool method set_highlight: bool -> unit method max_undo_levels: int method set_max_undo_levels: int -> unit (* method language: source_language *) (* method set_language: source_language -> unit *) method escape_char: Glib.unichar method set_escape_char: Glib.unichar -> unit method can_undo: bool method can_redo: bool method undo: unit -> unit method redo: unit -> unit method begin_not_undoable_action: unit -> unit method end_not_undoable_action: unit -> unit (* method create_marker: name:char -> typ:char -> source_marker *) (* method move_marker: source_marker -> Gtext.text_iter -> unit *) (* method delete_marker: source_marker -> unit *) (* method get_marker: name:char -> source_marker *) (* method get_markers_in_region: start:text_iter -> stop:text_iter -> source_marker list *) (* method get_first_marker: unit -> source_marker *) (* method get_last_marker: unit -> source_marker *) (* method get_iter_at_marker: ... *) (* method get_next_marker: unit -> source_marker *) (* method get_prev_marker: unit -> source_marker *) end val source_buffer : ?check_brackets:bool -> ?escape_char:int -> ?highlight:bool -> ?max_undo_levels:int -> (* ?tag_table:GText.tag_table -> ?text:string -> *) unit -> source_buffer (** {2 GtkSourceView} *) class source_view_signals : ([> Gtk_sourceview.source_view ] as 'b) obj -> object ('a) method after : 'a method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id method delete_from_cursor : callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id method destroy : callback:(unit -> unit) -> GtkSignal.id method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id method move_cursor : callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) -> GtkSignal.id method move_focus : callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id method page_horizontally : callback:(int -> extend:bool -> unit) -> GtkSignal.id method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id method populate_popup : callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id method redo : callback:(unit -> unit) -> GtkSignal.id method set_anchor : callback:(unit -> unit) -> GtkSignal.id method set_scroll_adjustments : callback:(GData.adjustment option -> GData.adjustment option -> unit) -> GtkSignal.id method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id method undo : callback:(unit -> unit) -> GtkSignal.id end class source_view : Gtk_sourceview.source_view Gtk.obj -> object inherit GText.view_skel val obj: Gtk_sourceview.source_view Gtk.obj method connect: source_view_signals 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_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: GdkPixbuf.pixbuf -> unit *) (* method marker_pixbuf: GdkPixbuf.pixbuf *) method set_smart_home_end: bool -> unit method smart_home_end: bool end val source_view : ?source_buffer:source_buffer -> ?auto_indent:bool -> ?insert_spaces_instead_of_tabs:bool -> ?margin:int -> ?show_line_markers:bool -> ?show_line_numbers:bool -> ?show_margin:bool -> ?smart_home_end:bool -> ?tabs_width:int -> ?editable:bool -> ?cursor_visible:bool -> ?justification:GtkEnums.justification -> ?wrap_mode:GtkEnums.wrap_mode -> ?border_width:int -> ?width:int -> ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> source_view