| 1234567891011121314151617181920212223242526272829303132333435363738 |
- DEFINITION MODULE FOR "C" GtkMediaStream ;
- (*
- m2-GTK4 - GtkMediaStream: playback control shared by GtkMediaFile and
- GtkVideo's stream. Mapped onto <gtk/gtkmediastream.h>.
- *)
- FROM SYSTEM IMPORT ADDRESS;
- EXPORT UNQUALIFIED
- GtkMediaStream,
- gtk_media_stream_play, gtk_media_stream_pause,
- gtk_media_stream_get_playing, gtk_media_stream_set_playing,
- gtk_media_stream_set_loop, gtk_media_stream_get_loop;
- TYPE
- GtkMediaStream = ADDRESS;
- (* void gtk_media_stream_play(GtkMediaStream *self) *)
- PROCEDURE gtk_media_stream_play (self: GtkMediaStream);
- (* void gtk_media_stream_pause(GtkMediaStream *self) *)
- PROCEDURE gtk_media_stream_pause (self: GtkMediaStream);
- (* gboolean gtk_media_stream_get_playing(GtkMediaStream *self) *)
- PROCEDURE gtk_media_stream_get_playing (self: GtkMediaStream) : [ INTEGER ];
- (* void gtk_media_stream_set_playing(GtkMediaStream *self, gboolean playing) *)
- PROCEDURE gtk_media_stream_set_playing (self: GtkMediaStream; playing: INTEGER);
- (* void gtk_media_stream_set_loop(GtkMediaStream *self, gboolean loop) *)
- PROCEDURE gtk_media_stream_set_loop (self: GtkMediaStream; loop: INTEGER);
- (* gboolean gtk_media_stream_get_loop(GtkMediaStream *self) *)
- PROCEDURE gtk_media_stream_get_loop (self: GtkMediaStream) : [ INTEGER ];
- END GtkMediaStream.
|