Video

---

Object Hierarchy:

Description:

Content:

Properties:

• public bool autoplay { get; set; }
  If the video should automatically begin playing.
• public File file { get; set; }
  The file played by this video if the video is playing a file.
• public GraphicsOffloadEnabled graphics_offload { get; set; }
  Whether to enable graphics offload.
• public bool loop { get; set; }
  If new media files should be set to loop.
• public MediaStream media_stream { get; set; }
  The media-stream played

Creation methods:

• public Video ()
  Creates a new empty `GtkVideo`.
• public Video.for_file (File? file)
  Creates a `GtkVideo` to play back the given file.
• public Video.for_filename (string? filename)
  Creates a `GtkVideo` to play back the given filename.
• public Video.for_media_stream (MediaStream? stream)
  Creates a `GtkVideo` to play back the given stream.
• public Video.for_resource (string? resource_path)
  Creates a `GtkVideo` to play back the resource at the given resource_path.

Methods:

• public bool get_autoplay ()
  Returns true if videos have been set to loop.
• public unowned File? get_file ()
  Gets the file played by this or null if not playing back a file.
• public GraphicsOffloadEnabled get_graphics_offload ()
  Returns whether graphics offload is enabled.
• public bool get_loop ()
  Returns true if videos have been set to loop.
• public unowned MediaStream? get_media_stream ()
  Gets the media stream managed by this or null if none.
• public void set_autoplay (bool autoplay)
  Sets whether this automatically starts playback when it becomes visible or when a new file gets loaded.
• public void set_file (File? file)
  Makes this play the given file .
• public void set_filename (string? filename)
  Makes this play the given filename .
• public void set_graphics_offload (GraphicsOffloadEnabled enabled)
  Sets whether to enable graphics offload.
• public void set_loop (bool loop)
  Sets whether new files loaded by this should be set to loop.
• public void set_media_stream (MediaStream? stream)
  Sets the media stream to be played back.
• public void set_resource (string? resource_path)
  Makes this play the resource at the given resource_path.

Inherited Members: