ocaml 3.09 transition

[helm.git] / helm / DEVEL / lablgtksourceview / gSourceView.mli

diff --git a/helm/DEVEL/lablgtksourceview/gSourceView.mli b/helm/DEVEL/lablgtksourceview/gSourceView.mli
index f933cf61011a29ba4787c3ac72e15a4b5add14dd..746ddd77c14270ce9c8c5bea0e2c96499c5593c3 100644 (file)
--- a/helm/DEVEL/lablgtksourceview/gSourceView.mli
+++ b/helm/DEVEL/lablgtksourceview/gSourceView.mli
@@ -1,26 +1,22 @@
-(* Copyright (C) 2005:
- *     Stefano Zacchiroli     <zack@cs.unibo.it>
- *     Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+(*
+ * 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 <zack@cs.unibo.it>
  * 
- * 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
@@ -45,6 +41,27 @@ class source_language:
     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:
@@ -164,3 +181,7 @@ val source_view:
   unit ->
     source_view
 
+(** {2 Misc} *)
+
+val find_matching_bracket: GText.iter -> GText.iter option
+