]> matita.cs.unibo.it Git - helm.git/commitdiff
added source_view ?text constructor parameter
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Jun 2005 21:12:20 +0000 (21:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Jun 2005 21:12:20 +0000 (21:12 +0000)
helm/DEVEL/lablgtksourceview/gSourceView.ml
helm/DEVEL/lablgtksourceview/gSourceView.mli

index ec449377bffe141c676cc839d2184030110b8438..30f13b2fea3a7942d335d5af0c8b680b309204f0 100644 (file)
@@ -72,9 +72,13 @@ object (self)
     SourceBuffer.end_not_undoable_action obj
 end
 
-let source_buffer =
+let source_buffer ?text =
   SourceBuffer.make_params [] ~cont:(fun pl () ->
-    new source_buffer (SourceBuffer.create pl))
+    let buf = new source_buffer (SourceBuffer.create pl) in
+    (match text with
+    | None -> ()
+    | Some text -> buf#set_text text);
+    buf)
 
   (* alias used below, needed because "source_buffer" is a name in scope *)
 let source_buffer' = source_buffer
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