]> matita.cs.unibo.it Git - helm.git/commit
snaphot
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jun 2005 11:38:53 +0000 (11:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jun 2005 11:38:53 +0000 (11:38 +0000)
commitc0f566c371cefef7666a6d68dd1b6c38ca6918ce
treec80b140f19d28d5ed85e3d9319ba966e7803a9c8
parent33cb5e3b6c50933f3af870ab66616e034638719d
snaphot
- better creation of GtkSourceView (using C constructor)
- bound GtkSourceLanguage
- preliminary binding of GtkSourceLanguagesManager
helm/DEVEL/lablgtksourceview/gSourceView.ml
helm/DEVEL/lablgtksourceview/gSourceView.mli
helm/DEVEL/lablgtksourceview/gtkSourceView.ml
helm/DEVEL/lablgtksourceview/gtkSourceView.props
helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
helm/DEVEL/lablgtksourceview/ml_gtk_sourceview.c
helm/DEVEL/lablgtksourceview/test/test.ml