]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/gtk_mathview.ml
(pre-)porting to gtkmathview 0.6.3 && ocaml 3.08
[helm.git] / helm / DEVEL / lablgtkmathview / gtk_mathview.ml
index a5d36619496120c10f1373ae942709289e6e6c39..f5b8c5ef652766371a86d547b29634293be74779 100644 (file)
@@ -21,4 +21,4 @@
  * For details, send a mail to the author.
  *)
 
-type math_view = [Gtk.event_box|`mathview]
+type math_view = [Gtk.widget|`mathview_gmetadom]