--- /dev/null
+
+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
+}
+