]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Jun 2005 20:48:04 +0000 (20:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Jun 2005 20:48:04 +0000 (20:48 +0000)
commit74d02fcdf866ef4d156e56cc890ee4ce2637f5d9
tree548c1268f353066c22635eda5f6c121aa35611e8
parentacf29bdbdcdc6ad8c2d9d27e8a47500981b605cd
snapshot
- implemented many methods of GtkSourceBuffer
- fixed creation of GtkSourceView (no longer assert failure on undo)
helm/DEVEL/lablgtksourceview/Makefile.in
helm/DEVEL/lablgtksourceview/gSourceView.ml
helm/DEVEL/lablgtksourceview/gSourceView.mli
helm/DEVEL/lablgtksourceview/gtkSourceView.ml
helm/DEVEL/lablgtksourceview/gtkSourceView.props
helm/DEVEL/lablgtksourceview/ml_gtk_sourceview.c
helm/DEVEL/lablgtksourceview/test/Makefile.in
helm/DEVEL/lablgtksourceview/test/test.ml