+++ /dev/null
-
-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
-}
-