X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2FgSourceView.mli;h=746ddd77c14270ce9c8c5bea0e2c96499c5593c3;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=eb024bfcbcc68f6eecc3c7f10a01c63782e8ee9e;hpb=c270254a72b6079e4468aa52d9dcad8528058506;p=helm.git diff --git a/helm/DEVEL/lablgtksourceview/gSourceView.mli b/helm/DEVEL/lablgtksourceview/gSourceView.mli index eb024bfcb..746ddd77c 100644 --- a/helm/DEVEL/lablgtksourceview/gSourceView.mli +++ b/helm/DEVEL/lablgtksourceview/gSourceView.mli @@ -1,68 +1,148 @@ -(* 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 -class source_view_signals : +(** {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) + 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 marker_updated: callback:(Gtk.text_iter -> unit) -> GtkSignal.id + end + +class source_buffer: + Gtk_sourceview.source_buffer 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 option + 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: + ?language:source_language -> +(* ?tag_table:source_tag_table -> *) + ?text:string -> + ?check_brackets:bool -> + ?escape_char:int -> + ?highlight:bool -> + ?max_undo_levels:int -> + 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 + 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 @@ -79,7 +159,8 @@ 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 -> ?margin:int -> @@ -100,3 +181,7 @@ val source_view : unit -> source_view +(** {2 Misc} *) + +val find_matching_bracket: GText.iter -> GText.iter option +