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
}