| 12345678910111213141516171819202122232425262728293031323334353637383940414243 |
- DEFINITION MODULE FOR "C" GtkSourceGutter ;
- (*
- m2-GTK4 - GtkSourceGutter: a gutter of a GtkSourceView, holding
- GtkSourceGutterRenderer objects. Mapped onto
- <gtksourceview/gtksourcegutter.h>.
- Obtain it from gtk_source_view_get_gutter().
- *)
- FROM SYSTEM IMPORT ADDRESS;
- EXPORT UNQUALIFIED
- GtkSourceGutter,
- gtk_source_gutter_get_view,
- gtk_source_gutter_insert, gtk_source_gutter_remove,
- gtk_source_gutter_reorder;
- TYPE
- GtkSourceGutter = ADDRESS;
- (* GtkSourceView *gtk_source_gutter_get_view(GtkSourceGutter *gutter) *)
- PROCEDURE gtk_source_gutter_get_view (gutter: GtkSourceGutter) : ADDRESS;
- (* gboolean gtk_source_gutter_insert(GtkSourceGutter *gutter,
- GtkSourceGutterRenderer *renderer,
- gint position) *)
- PROCEDURE gtk_source_gutter_insert (gutter: GtkSourceGutter;
- renderer: ADDRESS;
- position: INTEGER) : INTEGER;
- (* void gtk_source_gutter_remove(GtkSourceGutter *gutter,
- GtkSourceGutterRenderer *renderer) *)
- PROCEDURE gtk_source_gutter_remove (gutter: GtkSourceGutter;
- renderer: ADDRESS);
- (* void gtk_source_gutter_reorder(GtkSourceGutter *gutter,
- GtkSourceGutterRenderer *renderer,
- gint position) *)
- PROCEDURE gtk_source_gutter_reorder (gutter: GtkSourceGutter;
- renderer: ADDRESS; position: INTEGER);
- END GtkSourceGutter.
|