8 class SourceView type "source_view obj" set wrapsig : Widget {
9 "auto-indent" gboolean : Read / Write
10 "insert-spaces-instead-of-tabs" gboolean : Read / Write
11 "margin" guint : Read / Write
12 "show-line-markers" gboolean : Read / Write
13 "show-line-numbers" gboolean : Read / Write
14 "show-margin" gboolean : Read / Write
15 "smart-home-end" gboolean : Read / Write
16 "tabs-width" guint : Read / Write
21 class SourceBuffer type "source_buffer obj" set wrapsig : GObject {
22 "check-brackets" gboolean : Read / Write
23 "escape-char" guint : Read / Write
24 "highlight" gboolean : Read / Write
25 "language" GtkSourceLanguage : Read / Write
26 "max-undo-levels" gint : Read / Write
27 signal can_redo: gboolean
28 signal can_undo: gboolean
29 signal highlight_updated: GtkTextIter GtkTextIter
30 signal marker_updated: GtkTextIter