X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2FgSourceView.mli;h=746ddd77c14270ce9c8c5bea0e2c96499c5593c3;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=a041f28a8983c5d06eeea27b2de72cebe5a6d463;hpb=22a7ffd6835f8e36f53bfe07248bd6a0fb582a4f;p=helm.git diff --git a/helm/DEVEL/lablgtksourceview/gSourceView.mli b/helm/DEVEL/lablgtksourceview/gSourceView.mli index a041f28a8..746ddd77c 100644 --- a/helm/DEVEL/lablgtksourceview/gSourceView.mli +++ b/helm/DEVEL/lablgtksourceview/gSourceView.mli @@ -1,68 +1,82 @@ -(* Copyright (C) 2005: - * Stefano Zacchiroli - * Claudio Sacerdoti Coen +(* + * lablgtksourceview, OCaml binding for the GtkSourceView text widget * - * This file is part of lablgtksourceview, the OCaml binding for the - * GtkSourceView widget. + * Copyright (C) 2005 Stefano Zacchiroli * - * 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 + * This library is free software; you can redistribute it and/or modify + * it under the terms of the GNU Lesser General Public License as + * published by the Free Software Foundation; either version 2.1 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 + * + * This library 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. + * Lesser General Public License for more details. * - * For details, send a mail to the authors. + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 + * USA *) open Gtk +(** {2 GtkSourceLanguage} *) + +class source_language_signals: + ([> Gtk_sourceview.source_language ] as 'b) obj -> + object ('a) + inherit ['b] GObj.gobject_signals + method tag_style_changed: callback:(string -> unit) -> GtkSignal.id + end + +class source_language: + Gtk_sourceview.source_language obj -> + object + method as_source_language: Gtk_sourceview.source_language obj + method connect: source_language_signals + method get_escape_char: Glib.unichar + method get_name: string + method get_section: string + method misc: GObj.gobject_ops + end + +(** {2 GtkSourceLanguagesManager} *) + +class source_languages_manager: + Gtk_sourceview.source_languages_manager obj -> + object + method get_oid: int + method as_source_languages_manager: + Gtk_sourceview.source_languages_manager obj + method get_language_from_mime_type: string -> source_language option + method lang_files_dirs: string list + end + +val source_languages_manager: +(* ?lang_files_dirs:string list -> *) + unit -> + source_languages_manager + +val source_language_from_file: + ?languages_manager:source_languages_manager -> string -> + source_language option + (** {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 : + inherit GText.buffer_signals + method can_redo: callback:(bool -> unit) -> GtkSignal.id + method can_undo: callback:(bool -> 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 + method marker_updated: callback:(Gtk.text_iter -> unit) -> GtkSignal.id end class source_buffer: - Gtk_sourceview.source_buffer Gtk.obj -> + Gtk_sourceview.source_buffer obj -> object inherit GText.buffer_skel method connect: source_buffer_signals @@ -74,8 +88,8 @@ class source_buffer: 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 language: source_language option + method set_language: source_language -> unit method escape_char: Glib.unichar method set_escape_char: Glib.unichar -> unit method can_undo: bool @@ -97,56 +111,38 @@ class source_buffer: (* method get_prev_marker: unit -> source_marker *) end -val source_buffer : +val source_buffer: + ?language:source_language -> +(* ?tag_table:source_tag_table -> *) ?text:string -> ?check_brackets:bool -> ?escape_char:int -> ?highlight:bool -> ?max_undo_levels:int -> -(* ?tag_table:GText.tag_table -> *) unit -> source_buffer (** {2 GtkSourceView} *) -class source_view_signals : +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 + inherit GText.view_signals + method redo: callback:(unit -> unit) -> GtkSignal.id + method undo: callback:(unit -> unit) -> GtkSignal.id end -class source_view : - Gtk_sourceview.source_view Gtk.obj -> +class source_view: + Gtk_sourceview.source_view obj -> object inherit GText.view_skel - val obj: Gtk_sourceview.source_view Gtk.obj + val obj: Gtk_sourceview.source_view 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 source_buffer: 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_tabs_width: int -> unit method tabs_width: int method set_auto_indent: bool -> unit @@ -163,7 +159,7 @@ class source_view : method smart_home_end: bool end -val source_view : +val source_view: ?source_buffer:source_buffer -> ?auto_indent:bool -> ?insert_spaces_instead_of_tabs:bool -> @@ -185,3 +181,7 @@ val source_view : unit -> source_view +(** {2 Misc} *) + +val find_matching_bracket: GText.iter -> GText.iter option +