X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2FgtkSourceView.props;h=a8a6f6e93a42420e93baa4d8739c88f8a64673c7;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=1ff069b43f31ad2e6ea1d38e8b1b4b14ba65659f;hpb=c270254a72b6079e4468aa52d9dcad8528058506;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/gtkSourceView.props b/helm/DEVEL/lablgtksourceview/gtkSourceView.props
index 1ff069b43..a8a6f6e93 100644
--- a/helm/DEVEL/lablgtksourceview/gtkSourceView.props
+++ b/helm/DEVEL/lablgtksourceview/gtkSourceView.props
@@ -5,6 +5,26 @@ header {
   open Gtk_sourceview
 }
 
+class SourceLanguage type "source_language obj" set wrapsig : GObject {
+  signal tag_style_changed: string
+}
+
+class SourceLanguagesManager type "source_languages_manager obj" set wrapsig : GObject {
+(*  "lang-files-dirs"      gpointer             : Read / Write / Construct Only *)
+}
+
+class SourceBuffer type "source_buffer obj" set wrapsig : GObject {
+  "check-brackets"       gboolean             : Read / Write
+  "escape-char"          guint                : Read / Write
+  "highlight"            gboolean             : Read / Write
+  "language"             GtkSourceLanguage    : Read / Write
+  "max-undo-levels"      gint                 : Read / Write
+  signal can_redo:       gboolean
+  signal can_undo:       gboolean
+  signal highlight_updated: GtkTextIter GtkTextIter
+  signal marker_updated: GtkTextIter
+}
+
 class SourceView type "source_view obj" set wrapsig : Widget {
   "auto-indent"          gboolean             : Read / Write
   "insert-spaces-instead-of-tabs" gboolean    : Read / Write
@@ -18,11 +38,3 @@ class SourceView type "source_view obj" set wrapsig : Widget {
   signal undo
 }
 
-class SourceBuffer type "source_buffer obj" set wrapsig : GObject {
-  "check-brackets"       gboolean             : Read / Write
-  "escape-char"          guint                : Read / Write
-  "highlight"            gboolean             : Read / Write
-  "language"             GtkSourceLanguage    : Read / Write
-  "max-undo-levels"      gint                 : Read / Write
-}
-