]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/gtkSourceView.props
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtksourceview / gtkSourceView.props
index 25885c7963fc00b7da4ddcf8aa8e73dbd131e5bb..a8a6f6e93a42420e93baa4d8739c88f8a64673c7 100644 (file)
@@ -5,17 +5,12 @@ header {
   open Gtk_sourceview
 }
 
-class SourceView type "source_view obj" set wrapsig : Widget {
-  "auto-indent"          gboolean             : Read / Write
-  "insert-spaces-instead-of-tabs" gboolean    : Read / Write
-  "margin"               guint                : Read / Write
-  "show-line-markers"    gboolean             : Read / Write
-  "show-line-numbers"    gboolean             : Read / Write
-  "show-margin"          gboolean             : Read / Write
-  "smart-home-end"       gboolean             : Read / Write
-  "tabs-width"           guint                : Read / Write
-  signal redo
-  signal undo
+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 {
@@ -30,3 +25,16 @@ class SourceBuffer type "source_buffer obj" set wrapsig : GObject {
   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
+  "margin"               guint                : Read / Write
+  "show-line-markers"    gboolean             : Read / Write
+  "show-line-numbers"    gboolean             : Read / Write
+  "show-margin"          gboolean             : Read / Write
+  "smart-home-end"       gboolean             : Read / Write
+  "tabs-width"           guint                : Read / Write
+  signal redo
+  signal undo
+}
+