]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/gtkSourceView.props
lablgtksourceview: first checkin, almost nothing bound ...
[helm.git] / helm / DEVEL / lablgtksourceview / gtkSourceView.props
diff --git a/helm/DEVEL/lablgtksourceview/gtkSourceView.props b/helm/DEVEL/lablgtksourceview/gtkSourceView.props
new file mode 100644 (file)
index 0000000..b506fe9
--- /dev/null
@@ -0,0 +1,20 @@
+
+prefix "Gtk"
+
+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
+}
+