]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtksourceview/gtkSourceView.props
snapshot
[helm.git] / helm / DEVEL / lablgtksourceview / gtkSourceView.props
1
2 prefix "Gtk"
3
4 header {
5   open Gtk_sourceview
6 }
7
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
17   signal redo
18   signal undo
19 }
20
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 }
28