]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/gSourceView.mli
added source_view ?text constructor parameter
[helm.git] / helm / DEVEL / lablgtksourceview / gSourceView.mli
index e7bc27638fc236d6e68e9eb53a6fbc6a1554fdc9..a041f28a8983c5d06eeea27b2de72cebe5a6d463 100644 (file)
@@ -98,12 +98,12 @@ class source_buffer:
   end
 
 val source_buffer :
+  ?text:string ->
   ?check_brackets:bool ->
   ?escape_char:int ->
   ?highlight:bool ->
   ?max_undo_levels:int ->
-(*   ?tag_table:GText.tag_table ->
-  ?text:string -> *)
+(*   ?tag_table:GText.tag_table -> *)
   unit ->
     source_buffer