X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaMathView.mli;fp=matita%2Fmatita%2FmatitaMathView.mli;h=b1064ba77e54a3437fe42fad5dd92f22f75a129d;hb=a22f5e32e698c3874ded926bd7dabc19719098f3;hp=ea0c077d842ef2c7ca9731df7f4d4395b79fb277;hpb=6733674a52c5a2c9e5bc3a39ad1614b5ee2b1d62;p=helm.git

diff --git a/matita/matita/matitaMathView.mli b/matita/matita/matitaMathView.mli
index ea0c077d8..b1064ba77 100644
--- a/matita/matita/matitaMathView.mli
+++ b/matita/matita/matitaMathView.mli
@@ -27,16 +27,32 @@
 
   (** meta constructor *)
 type 'widget constructor =
-  ?hadjustment:GData.adjustment ->
-  ?vadjustment:GData.adjustment ->
-  ?font_size:int ->
-  ?log_verbosity:int ->
-  ?width:int ->
-  ?height:int ->
-  ?packing:(GObj.widget -> unit) ->
-  ?show:bool ->
-  unit ->
-    'widget
+ ?hadjustment:GData.adjustment ->
+ ?vadjustment:GData.adjustment ->
+ ?font_size:int ->
+ ?log_verbosity:int ->
+ ?auto_indent:bool ->
+ ?highlight_current_line:bool ->
+ ?indent_on_tab:bool ->
+ ?indent_width:int ->
+ ?insert_spaces_instead_of_tabs:bool ->
+ ?right_margin_position:int ->
+ ?show_line_marks:bool ->
+ ?show_line_numbers:bool ->
+ ?show_right_margin:bool ->
+ ?smart_home_end:SourceView2Enums.source_smart_home_end_type ->
+ ?tab_width:int ->
+ ?editable:bool ->
+ ?cursor_visible:bool ->
+ ?justification:GtkEnums.justification ->
+ ?wrap_mode:GtkEnums.wrap_mode ->
+ ?accepts_tab:bool ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(GObj.widget -> unit) ->
+ ?show:bool -> unit ->
+  'widget
 
 val clickableMathView:  MatitaGuiTypes.clickableMathView constructor