DEFINITION MODULE FOR "C" GtkSourceView ;

(*
   m2-GTK4 - GtkSourceView: a GtkTextView with syntax highlighting,
   line numbers, marks, gutters and completion.  Mapped onto
   <gtksourceview/gtksourceview.h>.

   The gutter window type uses GtkTextWindowType values (pass as
   CARDINAL); background pattern and smart-home-end use GtkSourceEnums.
*)

FROM SYSTEM IMPORT ADDRESS;
FROM GtkTextIter IMPORT GtkTextIter;
FROM GtkSourceEnums IMPORT GtkSourceBackgroundPatternType,
   GtkSourceSmartHomeEndType;

EXPORT UNQUALIFIED
   GtkSourceView,
   gtk_source_view_new, gtk_source_view_new_with_buffer,
   gtk_source_view_get_show_line_numbers, gtk_source_view_set_show_line_numbers,
   gtk_source_view_get_show_line_marks, gtk_source_view_set_show_line_marks,
   gtk_source_view_get_show_right_margin,
   gtk_source_view_set_show_right_margin,
   gtk_source_view_get_right_margin_position,
   gtk_source_view_set_right_margin_position,
   gtk_source_view_get_highlight_current_line,
   gtk_source_view_set_highlight_current_line,
   gtk_source_view_get_auto_indent, gtk_source_view_set_auto_indent,
   gtk_source_view_get_indent_on_tab, gtk_source_view_set_indent_on_tab,
   gtk_source_view_get_indent_width, gtk_source_view_set_indent_width,
   gtk_source_view_get_insert_spaces_instead_of_tabs,
   gtk_source_view_set_insert_spaces_instead_of_tabs,
   gtk_source_view_get_tab_width, gtk_source_view_set_tab_width,
   gtk_source_view_get_smart_backspace,
   gtk_source_view_set_smart_backspace,
   gtk_source_view_get_smart_home_end, gtk_source_view_set_smart_home_end,
   gtk_source_view_get_background_pattern,
   gtk_source_view_set_background_pattern,
   gtk_source_view_get_enable_snippets,
   gtk_source_view_set_enable_snippets,
   gtk_source_view_get_completion, gtk_source_view_get_hover,
   gtk_source_view_get_space_drawer, gtk_source_view_get_indenter,
   gtk_source_view_set_indenter,
   gtk_source_view_get_gutter,
   gtk_source_view_get_mark_attributes, gtk_source_view_set_mark_attributes,
   gtk_source_view_get_visual_column,
   gtk_source_view_indent_lines, gtk_source_view_unindent_lines,
   gtk_source_view_push_snippet;

TYPE
   GtkSourceView = ADDRESS;

(* GtkWidget *gtk_source_view_new(void) *)
PROCEDURE gtk_source_view_new () : GtkSourceView;

(* GtkWidget *gtk_source_view_new_with_buffer(GtkSourceBuffer *buffer) *)
PROCEDURE gtk_source_view_new_with_buffer (buffer: ADDRESS) : GtkSourceView;

(* gboolean gtk_source_view_get_show_line_numbers(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_show_line_numbers (view: GtkSourceView)
                                                 : INTEGER;

(* void gtk_source_view_set_show_line_numbers(GtkSourceView *view,
                                              gboolean show) *)
PROCEDURE gtk_source_view_set_show_line_numbers (view: GtkSourceView;
                                                 show: INTEGER);

(* gboolean gtk_source_view_get_show_line_marks(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_show_line_marks (view: GtkSourceView)
                                               : INTEGER;

(* void gtk_source_view_set_show_line_marks(GtkSourceView *view,
                                            gboolean show) *)
PROCEDURE gtk_source_view_set_show_line_marks (view: GtkSourceView;
                                               show: INTEGER);

(* gboolean gtk_source_view_get_show_right_margin(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_show_right_margin (view: GtkSourceView)
                                                 : INTEGER;

(* void gtk_source_view_set_show_right_margin(GtkSourceView *view,
                                              gboolean show) *)
PROCEDURE gtk_source_view_set_show_right_margin (view: GtkSourceView;
                                                 show: INTEGER);

(* guint gtk_source_view_get_right_margin_position(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_right_margin_position (view: GtkSourceView)
                                                     : CARDINAL;

(* void gtk_source_view_set_right_margin_position(GtkSourceView *view,
                                                  guint pos) *)
PROCEDURE gtk_source_view_set_right_margin_position (view: GtkSourceView;
                                                     pos: CARDINAL);

(* gboolean gtk_source_view_get_highlight_current_line(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_highlight_current_line (view: GtkSourceView)
                                                      : INTEGER;

(* void gtk_source_view_set_highlight_current_line(GtkSourceView *view,
                                                   gboolean highlight) *)
PROCEDURE gtk_source_view_set_highlight_current_line (view: GtkSourceView;
                                                      highlight: INTEGER);

(* gboolean gtk_source_view_get_auto_indent(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_auto_indent (view: GtkSourceView) : INTEGER;

(* void gtk_source_view_set_auto_indent(GtkSourceView *view, gboolean enable) *)
PROCEDURE gtk_source_view_set_auto_indent (view: GtkSourceView;
                                           enable: INTEGER);

(* gboolean gtk_source_view_get_indent_on_tab(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_indent_on_tab (view: GtkSourceView) : INTEGER;

(* void gtk_source_view_set_indent_on_tab(GtkSourceView *view,
                                          gboolean enable) *)
PROCEDURE gtk_source_view_set_indent_on_tab (view: GtkSourceView;
                                             enable: INTEGER);

(* gint gtk_source_view_get_indent_width(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_indent_width (view: GtkSourceView) : INTEGER;

(* void gtk_source_view_set_indent_width(GtkSourceView *view, gint width) *)
PROCEDURE gtk_source_view_set_indent_width (view: GtkSourceView;
                                            width: INTEGER);

(* gboolean gtk_source_view_get_insert_spaces_instead_of_tabs(
              GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_insert_spaces_instead_of_tabs
              (view: GtkSourceView) : INTEGER;

(* void gtk_source_view_set_insert_spaces_instead_of_tabs(
          GtkSourceView *view, gboolean enable) *)
PROCEDURE gtk_source_view_set_insert_spaces_instead_of_tabs
              (view: GtkSourceView; enable: INTEGER);

(* guint gtk_source_view_get_tab_width(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_tab_width (view: GtkSourceView) : CARDINAL;

(* void gtk_source_view_set_tab_width(GtkSourceView *view, guint width) *)
PROCEDURE gtk_source_view_set_tab_width (view: GtkSourceView; width: CARDINAL);

(* gboolean gtk_source_view_get_smart_backspace(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_smart_backspace (view: GtkSourceView) : INTEGER;

(* void gtk_source_view_set_smart_backspace(GtkSourceView *view,
                                            gboolean smart_backspace) *)
PROCEDURE gtk_source_view_set_smart_backspace (view: GtkSourceView;
                                               smart_backspace: INTEGER);

(* GtkSourceSmartHomeEndType gtk_source_view_get_smart_home_end(
        GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_smart_home_end (view: GtkSourceView)
                                              : GtkSourceSmartHomeEndType;

(* void gtk_source_view_set_smart_home_end(GtkSourceView *view,
                                            GtkSourceSmartHomeEndType type) *)
PROCEDURE gtk_source_view_set_smart_home_end
              (view: GtkSourceView; smart_home_end: GtkSourceSmartHomeEndType);

(* GtkSourceBackgroundPatternType gtk_source_view_get_background_pattern(
        GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_background_pattern (view: GtkSourceView)
                                    : GtkSourceBackgroundPatternType;

(* void gtk_source_view_set_background_pattern(
          GtkSourceView *view,
          GtkSourceBackgroundPatternType background_pattern) *)
PROCEDURE gtk_source_view_set_background_pattern
              (view: GtkSourceView;
               background_pattern: GtkSourceBackgroundPatternType);

(* gboolean gtk_source_view_get_enable_snippets(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_enable_snippets (view: GtkSourceView) : INTEGER;

(* void gtk_source_view_set_enable_snippets(GtkSourceView *view,
                                            gboolean enable_snippets) *)
PROCEDURE gtk_source_view_set_enable_snippets (view: GtkSourceView;
                                               enable_snippets: INTEGER);

(* GtkSourceCompletion *gtk_source_view_get_completion(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_completion (view: GtkSourceView) : ADDRESS;

(* GtkSourceHover *gtk_source_view_get_hover(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_hover (view: GtkSourceView) : ADDRESS;

(* GtkSourceSpaceDrawer *gtk_source_view_get_space_drawer(
                          GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_space_drawer (view: GtkSourceView) : ADDRESS;

(* GtkSourceIndenter *gtk_source_view_get_indenter(GtkSourceView *view) *)
PROCEDURE gtk_source_view_get_indenter (view: GtkSourceView) : ADDRESS;

(* void gtk_source_view_set_indenter(GtkSourceView *view,
                                     GtkSourceIndenter *indenter) *)
PROCEDURE gtk_source_view_set_indenter (view: GtkSourceView;
                                        indenter: ADDRESS);

(* GtkSourceGutter *gtk_source_view_get_gutter(GtkSourceView *view,
                                               GtkTextWindowType window_type) *)
PROCEDURE gtk_source_view_get_gutter (view: GtkSourceView;
                                      window_type: CARDINAL) : ADDRESS;

(* GtkSourceMarkAttributes *gtk_source_view_get_mark_attributes(
        GtkSourceView *view, const char *category, gint *priority) *)
PROCEDURE gtk_source_view_get_mark_attributes (view: GtkSourceView;
                                               category: ARRAY OF CHAR;
                                               VAR priority: INTEGER)
                                              : ADDRESS;

(* void gtk_source_view_set_mark_attributes(GtkSourceView *view,
                                             const char *category,
                                             GtkSourceMarkAttributes *attributes,
                                             gint priority) *)
PROCEDURE gtk_source_view_set_mark_attributes (view: GtkSourceView;
                                               category: ARRAY OF CHAR;
                                               attributes: ADDRESS;
                                               priority: INTEGER);

(* guint gtk_source_view_get_visual_column(GtkSourceView *view,
                                            GtkTextIter *iter) *)
PROCEDURE gtk_source_view_get_visual_column (view: GtkSourceView;
                                             VAR iter: GtkTextIter) : CARDINAL;

(* void gtk_source_view_indent_lines(GtkSourceView *view, GtkTextIter *start,
                                     GtkTextIter *end) *)
PROCEDURE gtk_source_view_indent_lines (view: GtkSourceView;
                                        VAR start, theEnd: GtkTextIter);

(* void gtk_source_view_unindent_lines(GtkSourceView *view, GtkTextIter *start,
                                       GtkTextIter *end) *)
PROCEDURE gtk_source_view_unindent_lines (view: GtkSourceView;
                                          VAR start, theEnd: GtkTextIter);

(* void gtk_source_view_push_snippet(GtkSourceView *view,
                                     GtkSourceSnippet *snippet,
                                     GtkTextIter *location) *)
PROCEDURE gtk_source_view_push_snippet (view: GtkSourceView;
                                        snippet: ADDRESS;
                                        VAR location: GtkTextIter);

END GtkSourceView.