]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/gtkSourceView.props
snapshot
[helm.git] / helm / DEVEL / lablgtksourceview / gtkSourceView.props
index 1ff069b43f31ad2e6ea1d38e8b1b4b14ba65659f..25885c7963fc00b7da4ddcf8aa8e73dbd131e5bb 100644 (file)
@@ -24,5 +24,9 @@ class SourceBuffer type "source_buffer obj" set wrapsig : GObject {
   "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
 }