GtkMediaStream.def 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738
  1. DEFINITION MODULE FOR "C" GtkMediaStream ;
  2. (*
  3. m2-GTK4 - GtkMediaStream: playback control shared by GtkMediaFile and
  4. GtkVideo's stream. Mapped onto <gtk/gtkmediastream.h>.
  5. *)
  6. FROM SYSTEM IMPORT ADDRESS;
  7. EXPORT UNQUALIFIED
  8. GtkMediaStream,
  9. gtk_media_stream_play, gtk_media_stream_pause,
  10. gtk_media_stream_get_playing, gtk_media_stream_set_playing,
  11. gtk_media_stream_set_loop, gtk_media_stream_get_loop;
  12. TYPE
  13. GtkMediaStream = ADDRESS;
  14. (* void gtk_media_stream_play(GtkMediaStream *self) *)
  15. PROCEDURE gtk_media_stream_play (self: GtkMediaStream);
  16. (* void gtk_media_stream_pause(GtkMediaStream *self) *)
  17. PROCEDURE gtk_media_stream_pause (self: GtkMediaStream);
  18. (* gboolean gtk_media_stream_get_playing(GtkMediaStream *self) *)
  19. PROCEDURE gtk_media_stream_get_playing (self: GtkMediaStream) : [ INTEGER ];
  20. (* void gtk_media_stream_set_playing(GtkMediaStream *self, gboolean playing) *)
  21. PROCEDURE gtk_media_stream_set_playing (self: GtkMediaStream; playing: INTEGER);
  22. (* void gtk_media_stream_set_loop(GtkMediaStream *self, gboolean loop) *)
  23. PROCEDURE gtk_media_stream_set_loop (self: GtkMediaStream; loop: INTEGER);
  24. (* gboolean gtk_media_stream_get_loop(GtkMediaStream *self) *)
  25. PROCEDURE gtk_media_stream_get_loop (self: GtkMediaStream) : [ INTEGER ];
  26. END GtkMediaStream.