prefix "Gtk"

header {
  open Gtk_sourceview
}

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 {
  "check-brackets"       gboolean             : Read / Write
  "escape-char"          guint                : Read / Write
  "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
}

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
}