]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtksourceview/gtkSourceView.props
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtksourceview / gtkSourceView.props
1
2 prefix "Gtk"
3
4 header {
5   open Gtk_sourceview
6 }
7
8 class SourceLanguage type "source_language obj" set wrapsig : GObject {
9   signal tag_style_changed: string
10 }
11
12 class SourceLanguagesManager type "source_languages_manager obj" set wrapsig : GObject {
13 (*  "lang-files-dirs"      gpointer             : Read / Write / Construct Only *)
14 }
15
16 class SourceBuffer type "source_buffer obj" set wrapsig : GObject {
17   "check-brackets"       gboolean             : Read / Write
18   "escape-char"          guint                : Read / Write
19   "highlight"            gboolean             : Read / Write
20   "language"             GtkSourceLanguage    : Read / Write
21   "max-undo-levels"      gint                 : Read / Write
22   signal can_redo:       gboolean
23   signal can_undo:       gboolean
24   signal highlight_updated: GtkTextIter GtkTextIter
25   signal marker_updated: GtkTextIter
26 }
27
28 class SourceView type "source_view obj" set wrapsig : Widget {
29   "auto-indent"          gboolean             : Read / Write
30   "insert-spaces-instead-of-tabs" gboolean    : Read / Write
31   "margin"               guint                : Read / Write
32   "show-line-markers"    gboolean             : Read / Write
33   "show-line-numbers"    gboolean             : Read / Write
34   "show-margin"          gboolean             : Read / Write
35   "smart-home-end"       gboolean             : Read / Write
36   "tabs-width"           guint                : Read / Write
37   signal redo
38   signal undo
39 }
40